An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators |
scientific article |
Statements
An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (English)
0 references
1985
0 references
The author presents an extension of Klop's counterexample to the Church- Rosser Property to lambda calculus with ordered pair combinators. The proof is very simple and it allows the counterexamples to work also for other formal systems with different forms of ordered pair combinators.
0 references
lambda calculus
0 references
ordered pair combinators
0 references
