Advanced Search
DSpace@MIT

A security kernel based on the lambda-calculus

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
32890570.pdf 8.344Mb PDF Preview, non-printable (open to all)
32890570-MIT.pdf 8.344Mb PDF Full printable version (MIT only)

This item appears in the following Collection(s)

MIT-Mirage