Pages that link to "Item:Q1080843"
From MaRDI portal
The following pages link to An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843):
Displayed 3 items.