| Directory > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic Linear Logic Primer
Introductory course by Vincent Danos and Roberto Di Cosmo.
http://www.pps.jussieu.fr/~dicosmo/CourseNotes/LinLog/
Reviews Rating: Not yet Rated
Whois Check
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.
http://citeseer.nj.nec.com/abramsky93computational.html
Reviews Rating: Not yet Rated
Whois Check
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.nj.nec.com/danos97new.html
Reviews Rating: Not yet Rated
Whois Check
The Linear Logic Pages
An overview of the current knowledge in Linear Logic, compiled by Yves Lafont.
http://iml.univ-mrs.fr:80/~lafont/linear/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
A Brief Introduction to Linear Logic
A very short introduction page, maintained at Nakanashi Laboratory.
http://www.nak.ics.keio.ac.jp/groups/th/linearlogic.html
Reviews Rating: Not yet Rated
Whois Check
Chu Spaces
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
http://chu.stanford.edu/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Chu Spaces from the Representational Viewpoint
Tutorial article by Vaughan Pratt.
http://boole.stanford.edu/parikh/parikh.html
Reviews Rating: Not yet Rated
Whois Check
Seminar on Linear Logic and Applications
Organised by Frank Pfenning at Carnegie-Mellon.
http://www.cs.cmu.edu/~fp/courses/95-linear.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://citeseer.nj.nec.com/alexiev93applications.html
Reviews Rating: Not yet Rated
Whois Check
|
