Fully abstract models of the lazy lambda calculus (1988)

by Chih-Hao Luke Ong
Venue:In 2gth Annual Symposium o n Foundations of Computer Science