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

Cached

Download Links

by Samson Abramsky , Guy Mccusker
Venue:In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science
Citations:133 - 9 self

Document Versions

Games and Full Abstraction for the Lazy lambda-calculus –Samson Abramsky, Guy Mccusker — 1995 — In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science