Lambda calculus models of typed programming languages
Name
12526930-MIT.pdf
Description
Full printable version
Size
11.23 MB
Format
Adobe PDF
Checksum (MD5)
e32d185f2bf30a1d25b2c9e07aeba656
Author(s)
Mitchell, John Clifford
Advisor(s)
Albert R. Meyer.
Date Issued
1984
Publisher
Massachusetts Institute of Technology
Description
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984.
MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING.
Bibliography: leaves 140-141.
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
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.
Persistent DSpace Link
