Advanced Search

Lambda-calculus models of programming languages.

Research and Teaching Output of the MIT Community

Planned maintenance alert - Monday, April 21: DSpace@MIT will undergo maintenance activities that will affect service availability and access to file content. While the service interruptions should be brief, access to file content may take longer to restore. Status updates will be posted to

Files in this item

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

This item appears in the following Collection(s)