Lambda-calculus models of programming languages.
Contributors: Project MAC (Massachusetts Institute of Technology)
Publisher: Massachusetts Institute of Technology, Project MAC; available from the Clearinghouse for Federal Scientific and Technical Information, Springfield, Va.]
Published: 1968
Place of publication: [Cambridge
Language: eng
Number of pages: 131
Subjects: Programming languages (Electronic computers); Combinatory logic.
Notes: Bibliography: p. 128-129.
Thesis--Massachusetts Institute of Technology.
Vita.