Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

DOI10.4230/LIPICS.RTA.2010.85zbMath1236.68127OpenAlexW1686000894MaRDI QIDQ5389137

Dimitri Hendriks, Jörg Endrullis, Jan Willem Klop, Clemens Grabmayer, Vincent van Oostrom

Publication date: 25 April 2012

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

zbMATH Keywords

infinitary rewritingunique normal form propertyinfinitary \(\lambda\beta\eta\)-calculusweakly orthogonal term rewrite systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Highlights in infinitary rewriting and lambda calculus

This page was built for publication: Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting