Similar Items: A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
- The Safe Lambda Calculus
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus
- Ordered Models of the Lambda Calculus
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus