Full Abstraction in the Lazy Lambda Calculus, Research Rep (1989)

by S Abramsky, C H L Ong