Games and Full Abstraction for the Lazy λ−calculus
S. Abramsky and G. McCusker
Book Title
Proceedings of the Tenth Annual Symposium on Logic in Computer Science
Editor
D. Kozen
Pages
234−243
Publisher
IEEE Computer Society Press
Year
1995
S. Abramsky and G. McCusker