Similar Items: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
- The Safe Lambda Calculus
- Ordered Models of the Lambda Calculus
- An extended type system with lambda-typed lambda-expressions
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus