

Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic sites LinearLogic.SubstructuralLogics.NonstandardLogicsandExtensions.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic Science Math Logic and Foundations Nonstandard Logics and Extensions Substructural Logics Linear Logic sites LinearLogic.SubstructuralLogics.NonstandardLogicsandExtensions.LogicandFoundations.Math.sciencesites.work 

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 `markup 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 citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2704 

Articles by JeanYves Girard About two dozen downloadable papers on linear logic by J. Y. Girard. iml.univmrs.fr/~girard/Articles.html 

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

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

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

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

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

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

Phil Wadler's Linear Logic Publications Includes his tutorial paper "A taste of linear logic". cm.belllabs.com/cm/cs/who/wadler/topics/linearlogic.html 

Seminar on Linear Logic and Applications Organised by Frank Pfenning at CarnegieMellon. www.cs.cmu.edu/~fp/courses/95linear.html 

The Linear Logic Pages An overview of the current knowledge in Linear Logic. iml.univmrs.fr/~lafont/linear/ 
