An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators

DOI10.1016/0304-3975(85)90149-5zbMath0601.03002OpenAlexW1994695840WikidataQ124829606 ScholiaQ124829606MaRDI QIDQ1080843

Martin W. Bunder

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90149-5

zbMATH Keywords

lambda calculusordered pair combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Unique normal forms for lambda calculus with surjective pairing, Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem, Theoretical Pearl Yet yet a counterexample for λ+SP

Cites Work

• A simplification of combinatory logic
• Unnamed Item