Fully abstract models of the lazy lambda calculus (1988)

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