Unique normal forms for lambda calculus with surjective pairing
- 1 February 1989
- journal article
- Published by Elsevier in Information and Computation
- Vol. 80 (2) , 97-113
- https://doi.org/10.1016/0890-5401(89)90014-x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Categorical Combinators, Sequential Algorithms, and Functional ProgrammingPublished by Springer Nature ,1993
- On the Church-Rosser property for the direct sum of term rewriting systemsJournal of the ACM, 1987
- An extension of Klop's counterexample to the Church-Rosser property to λ-calculus with other ordered pair combinatorsTheoretical Computer Science, 1985
- The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.Notre Dame Journal of Formal Logic, 1981
- Pairing Without Conventional RestraintsMathematical Logic Quarterly, 1974