Advanced Search
DSpace@MIT

Lambda calculus models of typed programming languages

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.advisor Albert R. Meyer. en_US
dc.contributor.author Mitchell, John Clifford en_US
dc.contributor.other Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. en_US
dc.date.accessioned 2005-08-05T19:55:51Z
dc.date.available 2005-08-05T19:55:51Z
dc.date.copyright 1984 en_US
dc.date.issued 1984 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/15394
dc.description Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984. en_US
dc.description MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. en_US
dc.description Bibliography: leaves 140-141. en_US
dc.description.statementofresponsibility by John Clifford Mitchell. en_US
dc.format.extent 151 leaves en_US
dc.format.extent 11774866 bytes
dc.format.extent 11774622 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/pdf
dc.language.iso eng en_US
dc.publisher Massachusetts Institute of Technology en_US
dc.rights M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. en_US
dc.rights.uri http://dspace.mit.edu/handle/1721.1/7582
dc.subject Electrical Engineering and Computer Science. en_US
dc.title Lambda calculus models of typed programming languages en_US
dc.type Thesis en_US
dc.description.degree Ph.D. en_US
dc.contributor.department Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. en_US
dc.identifier.oclc 12526930 en_US


Files in this item

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

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage