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:141 - 9 self

Documents Related by Co-Citation

1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
406 LCF considered as a programming language – Gordon Plotkin - 1977
3430 Communication and Concurrency – R Milner - 1989
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
700 Concurrency and automata on infinite sequences – D Park - 1981
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
634 Compiling with Continuations – A Appel - 1992