The Linear Logic Primer
This is an ever evolving support, elaborated together with one of the very experts of Linear Logic,
Vincent Danos, for an introductory
course on Linear Logic that has been taught on several occasions in different continents over the past years.
The original Pisa Version (1992)
This is a short rugged presentation of the material, but already has a fan club,
so we still keep it here (dvi).
The current major revision
This is the support being used since 1996/1997 in a course in the
Dea de Sémantique, Preuves et Programmation.
Selected exam texts
General surveys
Some useful web pointers: (no claim to give a complete list implied)
 Articles of the founding father JeanYves Girard
 Some papers relating Linear Logic to Explicit Substitutions and Type Isomorphisms
 Some papers relating with modal logics

Proof nets, Garbage, and Computations, S. Guerrini, S.Martini and A. Masini,
Theoretical
Computer Science, vol. 253, n. 2, pp. 185237, 2001

Parsing
MELL Proof Nets, S. Guerrini and A. Masini, Theoretical Computer
Science, vol. 254, n. 12, pp. 317  335, 2001

Modal Logic, Linear Logic, Optimal Lambdareduction , S.
Guerrini, S.Martini and A. Masini in Logic and Foundations of Mathematics,
A. Cantini, E. Casari, P. Minari eds., Kluwer, Dordrecht, 1999.

An analysis of (linear) exponentials based on extended sequents .
S.
Guerrini, S. Martini and A. MasiniLogic Journal of IGPL, 6:735753,1998
 Optimal reduction through Linear Logic: The BOHM experiment
(source code)
in Andrea Asperti's public ftp directory
 A survey and bibliography of
Linear Logic Programming
 An extensive online bibliography
Local Pointers
PPS
Roberto Di Cosmo
Roberto Di Cosmo