An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators |
scientific article; zbMATH DE number 3968559
| 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; zbMATH DE number 3968559 |
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
