Similar Items: Lineal: A linear-algebraic Lambda-calculus
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- 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