Games and full abstraction for the lazy -calculus', in the LICS'95 proceedings (1995)

by S Abramsky, G McCusker