Introduction to linear logic

Abstract : 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.
Type de document :
Cours
Master. Italy. 2013
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/cel-01144229
Contributeur : Emmanuel Beffara <>
Soumis le : mardi 21 avril 2015 - 11:40:46
Dernière modification le : mercredi 22 avril 2015 - 01:05:28
Document(s) archivé(s) le : mercredi 19 avril 2017 - 01:30:18

Fichier

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : cel-01144229, version 1

Collections

Citation

Emmanuel Beffara. Introduction to linear logic. Master. Italy. 2013. 〈cel-01144229〉

Partager

Métriques

Consultations de la notice

189

Téléchargements de fichiers

212