Similar Items: Lambda-RBAC: Programming with Role-Based Access Control
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- An extended type system with lambda-typed lambda-expressions
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- The Safe Lambda Calculus
- Ellipses and Lambda Definability
- Ordered Models of the Lambda Calculus