The Logic and Expressibility of
Simply-typed Call-by-value and Lazy Languages

by

Jon Gary Riecke

B.A., Computer Science
Williams College
(1986)
S.M., Electrical Engineering and Computer Science
Massachusetts Institute of Technology
(1989)

Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of

Doctor of Philosophy

at the

MASSACHUSETTS INSTITUTE OF TECHNOLOGY

August 1991

c Massachusetts Institute of Technology 1991

Signature of Author
Department of Electrical Engineering and Computer Science
August 26, 1991

Certified by
Albert R. Meyer
Professor of Computer Science and Engineering
Thesis Supervisor

Accepted by
Campbell L. Searle
Chair, Department Committee on Graduate Students