Games and Full Abstraction for the Lazy lambda-Calculus

Samson Abramsky, Guy McCusker

Browse the full LICS paper archive.