 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Bibliography on Linear Logic
A list of over 400 papers on linear logic. Many of the papers are downloadable.
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.
Phil Wadler's Linear Logic Publications
Includes his tutorial paper "A taste of linear logic".
Linear Logic Primer
Introductory course by Vincent Danos and Roberto Di Cosmo.
Flow Analysis in the Geometry of Interaction
Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
Chu Spaces from the Representational Viewpoint
Tutorial article by Vaughan Pratt.
|
|
||
 |
|||