Similar Items: Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- The Safe Lambda Calculus
- Unification and Logarithmic Space
- Ordered Models of the Lambda Calculus
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus