Similar Items: Nominal Coalgebraic Data Types with Applications to Lambda Calculus
- Semantics of Typed Lambda-Calculus with Constructors
- Intersection Types for the lambda-mu Calculus
- The Safe Lambda Calculus
- Ordered Models of the Lambda Calculus
- Formalising the pi-calculus using nominal logic
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types