The Linear Logic Primer


This is an ever evolving support, elaborated together with one of the very experts of Linear Logic, Vincent Danos, for an introductory course on Linear Logic that has been taught on several occasions in different continents over the past years.

The original Pisa Version (1992)

This is a short rugged presentation of the material, but already has a fan club, so we still keep it here (dvi).

The current major revision

This is the support being used since 1996/1997 in a course in the Dea de Sémantique, Preuves et Programmation.

Selected exam texts

General surveys

Some useful web pointers: (no claim to give a complete list implied)

Local Pointers

PPS Roberto Di Cosmo

Roberto Di Cosmo