Weak Convergence and Uniform Normalization in Infinitary Rewriting

DOI10.4230/LIPIcs.RTA.2010.311zbMath1236.68150OpenAlexW1564071846MaRDI QIDQ5389152

Jakob Grue Simonsen

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_051f.html

zbMATH Keywords

weak convergenceinfinitary rewritinguniform normalization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Infinitary rewriting: closure operators, equivalences and models ⋮ Highlights in infinitary rewriting and lambda calculus

This page was built for publication: Weak Convergence and Uniform Normalization in Infinitary Rewriting