Skip to main content

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