Unique normal forms for lambda calculus with surjective pairing
Some extensions of lambda calculus with surjective pairing constants and axioms are investigated and some new results concerning consistency and conservativity of the respective extension and the normal form property and unique normal form property are obtained. Several remaining problems to be solved are stated.
scientific article; zbMATH DE number 4091463
scientific article