Games and Full Abstraction for the Lazy lambda-calculus (1995)

by Samson Abramsky, Guy Mccusker
Venue:In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science