Pages that link to "Item:Q4764268"
From MaRDI portal
The following pages link to <i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268):
Displaying 3 items.
- An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843) (← links)
- Pairings on Lambda Algebras (Q3990705) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)