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