Sponsored Links
Google Analytics - Free
Gain traffic and optimize your site with Google Analytics. Free!
www.google.com
Search Optimization $325M
Get Your Website Ranked on 1st Page Professional SEO Co. Free Analysis!
ebrandz.com
Internet Marketing Cert.
Learn E Commerce, SEO, SEM, Media & More! Learn 100% Online--Free Info
www.usanfranonline.com
Directory Sites
Seminar on Linear Logic and Applications
Organised by Frank Pfenning at Carnegie-Mellon.
www.cs.cmu.edu
Chu Spaces from the Representational Viewpoint
Tutorial article by Vaughan Pratt.
boole.stanford.edu
Phil Wadler's Linear Logic Publications
Includes his tutorial paper "A taste of linear logic".
cm.bell-labs.com
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
chu.stanford.edu
Flow Analysis in the Geometry of Interaction
Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
www.dagstuhl.de
A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.
www.cis.upenn.edu
An overview of the current knowledge in Linear Logic.
iml.univ-mrs.fr
Introductory course by Vincent Danos and Roberto Di Cosmo.
www.pps.jussieu.fr
Linear Logic Papers by Andreas Blass
Collection of downloadable papers on linear logic and game semantics by A. Blass.
www.math.lsa.umich.edu
Game Semantics or Linear Logic?
A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
www.csc.villanova.edu
Linear Logic as a Good Logical Foundation for Computer Science
A brief analysis of the computational aspects of linear logic by Max Kanovich.
www.univ-paris12.fr
About two dozen downloadable papers on linear logic by J.Y. Girard.
iml.univ-mrs.fr
Abstract and downloadable full text. By Torben Braüner.
www.brics.dk
A list of over 400 papers on linear logic. Many of the papers are downloadable.
www.cs.cmu.edu
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.ist.psu.edu