Similar Items: The Safe Lambda Calculus
- Ordered Models of the Lambda Calculus
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus
- Intersection Types for the lambda-mu Calculus
- Addressing Machines as models of lambda-calculus
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically