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