Introduction to linear logic - Archive ouverte HAL
Cours Année : 2013

Introduction to linear logic

Résumé

This manuscript is the lecture notes for the course of the same title I gave at the Summer school on linear logic and geometry of interaction that took place in Torino in August 2013. The aim of this course is to give a broad introduction to linear logic, covering enough ground to present many of the ideas and techniques of the field, while staying at a (hopefully) accessible level for beginners. For this reason, most technical development is carried out in the simple multiplicative fragment, with only hints at generalizations. As prerequisites, some knowledge of classical sequent calculus and some knowledge of the λ-calculus is useful.
Fichier principal
Vignette du fichier
intro-ll.pdf (195.04 Ko) Télécharger le fichier

Dates et versions

cel-01144229 , version 1 (21-04-2015)

Licence

Identifiants

  • HAL Id : cel-01144229 , version 1

Citer

Emmanuel Beffara. Introduction to linear logic. Master. Italy. 2013. ⟨cel-01144229⟩
500 Consultations
4979 Téléchargements

Partager

More