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

Analysing Resource Use in the λ-Calculus By Type Inference – S. A. Courtenage, C. D. Clack - 1994
4 Local Linear Logic for Locality Consciousness in Multiset Transformation – Hugh Mcevoy, Pieter H. Hartel - 1995
3.5. Deep Inference and Categorical Axiomatizations 5 3.6. Proof Nets and Combinatorial Characterization of Proofs 5 – Des Spécifications Logiques
3.5. Deep Inference and Categorical Axiomatizations 4 3.6. Proof Nets and Combinatorial Characterization of Proofs 4 3.7. A Systematic Approach to Cut Elimination 5 – Des Spécifications Logiques, Saclay Île-de-france
4 Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples – Bob Coecke, David J. Moore, Privatebag Christchurch New Zealand
30 Constant-Only Multiplicative Linear Logic is NP-Complete – Patrick Lincoln, Timothy Winkler - 1992
11 Mutable Object State for Object-Oriented Logic Programming: A Survey – Vladimir Alexiev - 1993
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
8 Concurrent Logic Programming as Uniform Linear Proofs – Paolo Volpe - 1994
16 Linearizing Intuitionistic Implication – Patrick Lincoln, Andre Scedrov, Natarajan Shankar - 1993
3 1 Quantum Lambda Calculus – Peter Selinger, Benoît Valiron
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
49 A lambda calculus for quantum computation – André Van Tonder
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
24 Linear Logic – Patrick Lincoln - 1992
2 Subtyping between standard and linear function types. www.dcs.gla.ac.uk/~simon/publications/StandardLinearSubtyping.pdf – Simon J. Gay - 2006
53 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992