Search for
Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Substructural Logics >

Linear_Logic
New! Submit a site
 
Categories:
Proofs as Processes *(5)  
 
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
A Brief Introduction to Linear Logic - A very short introduction page, maintained at Nakanashi Laboratory.
 
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).
 
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.
 
Chu Spaces - Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
 
Chu Spaces from the Representational Viewpoint - Tutorial article by Vaughan Pratt.
 
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.
 
Flow Analysis in the Geometry of Interaction - Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
 
Linear Logic Primer - Introductory course on linear logic by Vincent Danos and Roberto Di Cosmo.
 
Linear Logic in Computer Science - European TMR research network.
 
Phil Wadler's Linear Logic Publications - Includes his tutorial paper "A taste of linear logic".
 
Seminar on Linear Logic and Applications - Organised by Frank Pfenning at Carnegie-Mellon.
 
The Linear Logic Pages - An overview of the current knowledge in Linear Logic, compiled by Yves Lafont.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek