Full abstraction in the lazy lambda calculus (1993)

by S Abramsky, L Ong
Venue:Information and Computation