The Linear Logic Pages
An overview of the current knowledge in Linear Logic
The Linear Logic Corpus
Introduction
Sequent calculus
Phase semantics
Decision problems
Proof nets
Geometry of interaction
Denotational semantics
Game theoretic interpretations
Variations on Linear Logic
Non commutative Logic
Classical Logic and Unified Logic
Bounded complexity systems
Linear Logic and Computer Science
Linear logic programming
Linear Logic and Petri nets
Linear functional programming
Sharing and optimal reduction
Interaction nets
More information
Open problems
Forum
Typography
Bibliography
Index
Other sites
The Linear Logic Primer (R. di Cosmo & V. Danos)
Linear Logic in Computer Science: A TMR network
SRI International Computer Science Laboratory: Linear Logic
Please contact us if you have any question that is not answered here. We also welcome corrections, suggestions, and of course, new results.
linear-pages@iml.univ-mrs.fr