Weak Convergence and Uniform Normalization in Infinitary Rewriting

Jakob Grue Simonsen