Games and Full Abstraction for the Lazy λ−calculus
S. Abramsky and G. McCusker
Details
| 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 |
Links
Related pages
|
People |