|
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
|
|
32
|
Reference Counting as a Computational Interpretation of Linear Logic
– Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
- 1996
|
|
12
|
The Lambda-Calculus with Multiplicities
– Gérard Boudol
- 1993
|
|
68
|
A Term Calculus for Intuitionistic Linear Logic
– Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
- 1993
|
|
22
|
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
|
|
31
|
Linear Logic, Monads and the Lambda Calculus
– Nick Benton, Philip Wadler
- 1996
|
|
26
|
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
|
|
75
|
A Taste of Linear Logic
– Philip Wadler
- 1993
|
|
40
|
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
|
