The Linear Logic Pages

An overview of the current knowledge in Linear Logic

Proof nets
Geometry of interaction

Denotational semantics
Game theoretic interpretations

Non commutative Logic

Classical Logic and Unified Logic

Bounded complexity systems

Linear logic programming
Linear Logic and Petri nets

Linear functional programming
Sharing and optimal reduction

Open problems

Forum

Typography

Bibliography

Index

Please contact us if you have any question that is not answered here. We also welcome corrections, suggestions, and of course, new results.