Linear lambda-Calculus and Categorical Models Revisited (1992)

by Nick Benton , Gavin Bierman , Valeria De Paiva , Martin Hyland
Citations:22 - 0 self

Active Bibliography

53 Term Assignment for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria Paiva, Martin Hyland - 1992
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
35 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
17 The Lambda-Calculus with Multiplicities – Gérard Boudol - 1993
72 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993
24 Linear Logic – Patrick Lincoln - 1992
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
11 The Girard Translation Extended with Recursion – Torben Braüner - 1995
4 A General Adequacy Result for a Linear Functional Language – Torben Braüner - 1994
Lambda! Considered Both as a Paradigmatic Language and as a Meta-Language – Alberto Pravato, Luca Roversi
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
29 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
Program Extraction for Full Linear Logic – David Albrecht, John N. Crossley, John S. Jeavons - 1995
6 The power of linear functions – Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie - 2006
5 Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems – T. W. Koh, C. -h. L. Ong - 1998
72 A syntax for linear logic – Philip Wadler - 1993
49 A Judgmental Analysis of Linear Logic – Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning - 2003
The Bounded Linear Calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic – By Francois Pitt, Francois Pitt, Francois Pitt
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996