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

Les transparents du cours
Dernière mise à jour
Planning (PDF) 20/10/2020
Proof Nets (PDF) 03/11/2020
Lambda Calculus (PDF) 27/10/2020
Calculi with ES (PDF) 27/10/2020
From Calculi with ES to MELL PN (PDF) 10/11/2020
From MELL PN to Calculi with ES (PDF) 07/12/2020
Non-Idempotent Types and Linear Logic (PDF) 18/11/2020

Quelques notes/articles
The Linear Logic Primer (PDF)
The Lambdas-calculus (PDF)
The Lambdalxr-calculus (PDF)
Non-idempotent intersection types (PDF)
Non-idempotent tight intersection types (PDF)


Salle de cours
Salle 1013, premier étage, Bât Sophie Germain, Univ. Paris-Diderot.
MPRI WhiteBoard DK
MPRI WhiteBoard Students

Horaire
Le mardi de 16h15 à 19h15.

Date et lieu de l'examen
Date: le 15 Decembre 2020 de 16h15 à 17h45 (90 min)
Lieu: Zoom.
Tous les documents imprimés et personnels sont autorisés.