Full abstraction in the lazy lambda calculus. Submitted to Information and Computation (1988)

by S Abramsky, C H L Ong