Logique linéaire et paradigmes logiques du calcul 2021/2022

Les transparents du cours
Dernière mise à jour
Planning (PDF) 26/10/2021
Proof Nets (PDF) 03/11/2021
Explicit Substitution Calculi (PDF) 03/11/2021
From Explicit Substitution Calculi to MELL Proof-Nets (PDF) 08/11/2021
From MELL Proof-Nets to Explicit Substitution Calculi (PDF) 15/11/2021
Linear Logic and Intersection Types (PDF) 08/12/2021
Taylor Expansion by G. Manzonetto (PDF) 06/01/2022

Quelques notes/articles
The Linear Logic Primer (PDF)
The Lambdas-calculus (PDF)
The Lambdalxr-calculus (PDF)
Non-idempotent intersection types for the lambda-calculus (PDF)
Non-idempotent intersection types for the LSC (PDF)


Salle de cours
Salle 1002, premier étage, Bât Sophie Germain, Univ. de Paris.

Horaire
Le mercredi de 16h15 à 19h15.

Date et lieu de l'examen
Date: 15 Décembre, de 16h15 à 19h15.
Lieu: Salle 0011, RDC, Bât Sophie Germain, Univ. de Paris.
Uniquement les documents imprimés et personnels sont autorisés.