15-816 Linear Logic
Resources

J.-Y. Girard. Linear Logic. Theoretical Computer Science, Volume 50, pages 1-102, 1987.
P. Lincoln. Linear logic. ACM SIGACT Notices, 23(2):29-37, Spring 1992.
A. Scedrov. Linear Logic and Computation: A Survey. In: "Proof and Computation", ed. by H. Schwichtenberg, NATO Advanced Science Institutes, Series F, Volume 139, Springer-Verlag, Berlin, 1995, pp. 379-395.
J.-Y. Girard. Linear Logic, its syntax and semantics, Advances in Linear Logic, eds Girard, Lafont, Regnier, pp. 1-42. London Mathematical Society Lecture Notes Series 222, Cambridge University Press 1995.

A.S. Troelstra. Lectures on Linear Logic. CSLI Lecture Notes 29, Center for the Study of Language and Information, Stanford, California, 1992. Distributed by Cambridge University Press

Links Related to Linear Logic by Mutsunori Banbara, Nara National College of Technology, Japan.
Bookmarks on Linear Logic by Pablo López, Universidad de Málaga, Spain.

Seminar on Linear Logic, Frank Pfenning, CMU, Fall 1995.
Introduction to Linear Logic, Torben Braüner, BRICS Mini-Course, Aarhus, Winter 1996.
The Linear Logic Primer, Roberto Di Cosmo and Vincent Danos, Università di Pisa, 1992, and Ecole Normale Supérieure, Paris 1997 (revised).
Linear Logic, Frank Pfenning, CMU, Fall 1998.