Linear Logic: theory and application
a PhD course at DSI
Instructors: Marco Gaboardi,
Alberto Momigliano and Carsten Schuermann
Dates and time: April 28–May
11, 2011, 10am – 12:30am .
Duration: 24 hours.
Location: Sala Riunioni primo
piano.
- Outline of the course [PDF]
-
A slide
from the first part
- Some Slides for Carsten's part [PDF]
- Code for Carsten's part [link]
Notes
- Linear Logic by Roberto Di Cosmo and Dale Miller. The Stanford
Encyclopaedia of Philosophy (Fall 2010 Edition), Edward N. Zalta (ed.).
This is Classical Linear logic, with a two-sided sequent
calculus and a one-sided focused one.
- Frank Pfenning. Linear logic.
(PDF) Notes for a graduate course, 2002. This is
Intuitionistic linear logic, with a two-zoned sequent calculus.
- A taste of linear logic by Philip Wadler [PS]. ILL similar to
the above two-zoned one, but with an (obsolete) presentation inspired
by Girard's LU. Emphasis on the Curry-Howard isomporphism, gence on
functional programming
- Overview of linear logic
programming by Dale Miller. In Linear
Logic in Computer Science, edited by Ehrhard, Girard, Ruet, and
Scott. Cambridge University Press. Volume 316, 2004.
Other notes
References
- Girard, Jean-Yves. Linear logic, Theoretical
Computer Science 50:1, pp. 1–102, 1987.
- Girard, Jean-Yves, Lafont, Yves, and Taylor, Paul. Proofs and
Types. Cambridge Press, 1989. (An electronic version is online at [2].)
- Troelstra, A.S. Lectures
on Linear Logic. CSLI Lecture Notes No. 29. Stanford, 1992.
- A. S. Troelstra, H.
Schwichtenberg (1996). Basic Proof Theory. Cambridge University
Press,