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

View PDF

Download Links

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