The Linear Logic Pages

An overview of the current knowledge in Linear Logic

The Linear Logic Corpus

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

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.