3

What is a logic, and what is a proof?
– Lutz Straßburger
 2006

53

A Brief Guide to Linear Logic
– Andre Scedrov
 1993

14

On proof nets for multiplicative linear logic with units
– Lutz Straßburger, François Lamarche
 2004


Labelled Deduction Labelled Deduction
– Edited By David, Dov M. Gabbay, An Matthews


An implementation model of the typed lambdacalculus based on Linear Chemical Abstract Machine
– Shinya Sato, Toru Sugimoto, Shinichi Yamada
 2001


Program Extraction for Full Linear Logic
– David Albrecht, John N. Crossley, John S. Jeavons
 1995

8

Proof search for programming in Intuitionistic Linear Logic (Extended Abstract)
– D. Galmiche, E. Boudinet
 1994

6

Labelled Deduction
– David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.), An Matthews
 2000

1

Proofs, concurrent objects and computations in a FILL framework
– D. Galmiche, E. Boudinet, Inria Lorraine
 1995


Theorem Proving with the Inverse Method for Linear Logic
– Kaustuv Chaudhuri
 2004


LABELLED PROOF SYSTEMS FOR INTUITIONISTIC
– Dov M. Gabbay, Luca Viganò, David Basin, Dov M. Gabbay, Seán Matthews

1

Cause and Effect: Type Systems for Effects and Dependencies
– Geoffrey Washburn
 2005

10

Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets (Extended Abstract)
– D. LarcheyWendling, D. Galmiche
 1998

7

On a Modal \lambdaCalculus for S4*
– F. Pfenning, H. C. Wong
 1995

7

Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic
– D. LarcheyWendling, D. Galmiche
 2000

15

Cut Rules and Explicit Substitutions
– René Vestergaard, Joe Wells
 2000

3

Observations on a Linear PCF
– G. M. Bierman
 1997

2

Complexity of strongly normalising λterms via nonidempotent intersection types
– Alexis Bernadet, Stéphane Lengrand

99

What is a Categorical Model of Intuitionistic Linear Logic?
– G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C
 1995
