A Security Kernel Based on the Lambda-Calculus (1996)

by Jonathan A. Rees
Venue:A. I. Memo 1564, MIT
Citations:29 - 0 self