Capabilities-based security with the lambda calculus
May 21st, 2004
MIT: A Security
Kernel Based on the Lambda-Calculus (1995). [Procedure + environment
= closure → capabilities model.]
Both comments and pings are currently closed.
Comments are closed.