Full abstraction in the lazy lambda calculus (1993)

by S Abramsky, C H L Ong
Venue:in: Proceedings of the 15th European conference on Programming Languages and Systems