Directory Help Search only in Linear LogicSearch the Web

Linear Logic

Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics > Linear Logic

Go to Directory Home

Categories

People (28) Proofs as Processes (4)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Articles by Jean-Yves Girard - http://iml.univ-mrs.fr/~girard/Articles.html About two dozen downloadable papers on linear logic by J.Y. Girard.
	Linear Logic Primer - http://www.pps.jussieu.fr/~dicosmo/CourseNotes/LinLog/ Introductory course by Vincent Danos and Roberto Di Cosmo.
	Game Semantics or Linear Logic? - http://www.csc.villanova.edu/~japaridz/CL/gsoll.html A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
	Linear Logic Papers by Andreas Blass - http://www.math.lsa.umich.edu/~ablass/ll.html Collection of downloadable papers on linear logic and game semantics by A. Blass.
	The Linear Logic Pages - http://iml.univ-mrs.fr/~lafont/linear/ An overview of the current knowledge in Linear Logic.

	Bibliography on Linear Logic - http://www.cs.cmu.edu/~carsten/linearbib/llb.html A list of over 400 papers on linear logic. Many of the papers are downloadable.
	Introduction to Linear Logic - http://www.brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html Abstract and downloadable full text. By Torben Braüner.
	A New Deconstructive Logic: Linear Logic (1997) - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2704 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).
	Seminar on Linear Logic and Applications - http://www.cs.cmu.edu/~fp/courses/95-linear.html Organised by Frank Pfenning at Carnegie-Mellon.
	Applications of Linear Logic to Computation (1993) - http://citeseer.ist.psu.edu/old/alexiev93applications.html 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.

	Phil Wadler's Linear Logic Publications - http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html Includes his tutorial paper "A taste of linear logic".
	Flow Analysis in the Geometry of Interaction - http://www.dagstuhl.de/DATA/Reports/9535/node16.html Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
	Linear Logic Semantics - http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.
	Linear Logic as a Good Logical Foundation for Computer Science - http://www.univ-paris12.fr/lacl/lundi/kanovitch.html A brief analysis of the computational aspects of linear logic by Max Kanovich.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...