Applications of Linear Logic to Computation (1993)
- Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical computer science, such as functional programming, and the cor
- http://citeseer.ist.psu.edu/alexiev93applications.html

A New Deconstructive Logic: Linear Logic (1997)
- Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).
- http://citeseer.ist.psu.edu/danos97new.html

Bibliography on Linear Logic
- A list of over 400 papers on linear logic. Many of the papers are downloadable.
- http://www.cs.cmu.edu/~carsten/linearbib/llb.html

Introduction to Linear Logic
- Abstract and downloadable full text. By Torben Braüner.
- http://www.brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html

Articles by Jean-Yves Girard
- About two dozen downloadable papers on linear logic by J.Y. Girard.
- http://iml.univ-mrs.fr/~girard/Articles.html

Linear Logic as a Good Logical Foundation for Computer Science
- A brief analysis of the computational aspects of linear logic by Max Kanovich.
- http://www.univ-paris12.fr/lacl/lundi/kanovitch.html

Game Semantics or Linear Logic?
- A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
- http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

Linear Logic Papers by Andreas Blass
- Collection of downloadable papers on linear logic and game semantics by A. Blass.
- http://www.math.lsa.umich.edu/~ablass/ll.html

Linear Logic Primer
- Introductory course by Vincent Danos and Roberto Di Cosmo.
- http://www.pps.jussieu.fr/~dicosmo/CourseNotes/LinLog/

The Linear Logic Pages
- An overview of the current knowledge in Linear Logic.
- http://iml.univ-mrs.fr/~lafont/linear/

Linear Logic Semantics
- A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.
- http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html

Flow Analysis in the Geometry of Interaction
- Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
- http://www.dagstuhl.de/DATA/Reports/9535/node16.html

Chu Spaces
- Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
- http://chu.stanford.edu/

Phil Wadler's Linear Logic Publications
- Includes his tutorial paper "A taste of linear logic".
- http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html

Chu Spaces from the Representational Viewpoint
- Tutorial article by Vaughan Pratt.
- http://boole.stanford.edu/parikh/parikh.html

Seminar on Linear Logic and Applications
- Organised by Frank Pfenning at Carnegie-Mellon.
- http://www.cs.cmu.edu/~fp/courses/95-linear.html