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