Fully Abstract Models of the Lazy Lambda Calculus (1988)

by H L Ong
Venue:in Proceedings of 29th IEEE Conference on Foundations of Computer Science, IEEE Computer