Science/ Math/ Logic and Foundations/ Computational Logic/ Combinatory Logic and Lambda Calculus/ Formulae-as-Types Correspondence/ Proofs_as_Processes@ (5)
Web Sites
A Brief Introduction to Linear Logic - A very short introduction page, maintained at Nakanashi Laboratory. www.nak.ics.keio.ac.jp/groups/th/linearlogic.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). citeseer.nj.nec.com/danos97new.html
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 correct treatment of negation in logic programming. citeseer.nj.nec.com/alexiev93applications.html
Chu Spaces - Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic. chu.stanford.edu
Computational Interpretations of Linear Logic (1993) - Article by Samson Abramsky which proposes a formulae-as-types correspondence first for intuitionsitic linear logic, and then for classical linear logic. citeseer.nj.nec.com/abramsky93computational.html
Flow Analysis in the Geometry of Interaction - Article by Thomas Jensen, who draws a connection between program analysis and linear logic. www.dagstuhl.de/DATA/Reports/9535/node16.html
Linear Logic Primer - Introductory course on linear logic by Vincent Danos and Roberto Di Cosmo. www.dmi.ens.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
