Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative (Q5310654)
From MaRDI portal
scientific article; zbMATH DE number 5200124
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative |
scientific article; zbMATH DE number 5200124 |
Statements
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative (English)
0 references
11 October 2007
0 references