Similar Items: Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
- Intersection Types for the lambda-mu Calculus
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus
- The Safe Lambda Calculus
- Ordered Models of the Lambda Calculus