Logique linéaire et paradigmes logiques du calcul 2016/2017

Les transparents du cours
Dernière mise à jour
Cours 1-1 (Pdf) 04/10/16
Cours 1-2 (Pdf) 03/10/16
Cours 2-1 (Pdf) 22/10/16
Cours 2-2 (Pdf) 22/10/16
Cours 2-3 (Pdf) 22/10/16
Cours 3-1 (Pdf) 28/10/16
Cours 3-2 (Pdf) 28/10/16
Cours 4 (Pdf) 8/11/16

Quelques notes/articles
The Lambdas-calculus (Pdf)
The Lambdalxr-calculus (Pdf)
Non-idempotent intersection types (Pdf)
Inhabitation for non-idempotent intersection types (Pdf)


Salle de cours
Salle 2035, deuxième étage, Bât Sophie Germain, Univ. Paris-Diderot.

Horaire
Le mardi de 16h15 à 19h15.

Date et lieu de l'examen
Date: le mardi 22 Novembre
Lieu: Salle 2035, deuxième étage, Bât Sophie Germain, Univ. Paris-Diderot.
Tous les documents imprimés et personnels sont autorisés.