Introduction to Linear Logic and Sequent Calculus 

               Prof. Roberto Di Cosmo, Prof. Delia Kesner

Content: Linear Logic is now only 15 years old, but it has already
         had a very significant impact on many fields of Computer
         Science, as well as in Linguistics. By banning the weakening
         and contraction rules from the base logical system, it
         provides a logical system where propositions are handled
         like valuable resources, instead of immutable facts, and
         can then give a direct logical account of phenomena that
         were, before Linear Logic, imperfectly handled by heavy
         encodings in first order logic.
         In this short course, we will present the Linear Logic
         system, its origin and motivations, its connections to
         Lambda Calculus, Optimal Reduction, Explicit Substitutions
         and Game Semantics, as well as some hints of its usefulness
         in Linguistics.

Course material: we will base our course material on the graduate course notes
         which are available from the web page http://www.dicosmo.org