From Algol to Polymorphic Linear Lambda-calculus (1997)

Cached

Download Links

by Peter W. O'Hearn , John C. Reynolds
Citations:55 - 6 self

Active Bibliography

209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
195 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
72 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
101 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
100 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation – Patrick Cousot - 2002
52 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
49 A lambda calculus for quantum computation – AndrĂ© Van Tonder
45 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
78 FreshML: Programming with Binders Made Simple – Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay - 2003