A security kernel based on the lambda-calculus
Author(s)
Rees, Jonathan A
DownloadFull printable version (8.344Mb)
Advisor
Gerald Jay Sussman.
Terms of use
Metadata
Show full item recordDescription
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995. Vita. Includes bibliographical references (p. 133-139).
Date issued
1995Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science