Unique normal forms for lambda calculus with surjective pairing (Q1117204): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
| Property / author | |||
| Property / author: Jan Willem Klop / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Pavel Materna / rank | |||
Revision as of 04:30, 16 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unique normal forms for lambda calculus with surjective pairing |
scientific article |
Statements
Unique normal forms for lambda calculus with surjective pairing (English)
0 references
1989
0 references
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.
0 references
confluence
0 references
term rewriting systems
0 references
extensions of lambda calculus
0 references
surjective pairing
0 references
normal form
0 references
