Full abstraction in the lazy -calculus (1989)

by S Abramsky, L Ong
Venue:In Proceeding of the Seventh International Conference onLogic Programming, Jerusalem, May1990. [App92] Andrew