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.

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.

- 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.

- Di Cosmo, Robert, Damos, Vincent.
*The linear logic primer*. (88 pages) [3] - Patrick Lincoln Introduction to Linear Logic
SIGACT 1992. CLL with an emphasis on complexity results.

- 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,