Logique linéaire et paradigmes logiques du calcul 2018/2019

Les transparents du cours
Dernière mise à jour
Cours 1-1 (Pdf) 11/10/2018
Cours 1-2 (Pdf) 11/10/2018
Cours 2-1 (Pdf) 31/10/2018
Cours 2-2 (Pdf) 31/10/2018
Cours 2-3 (Pdf) 31/10/2018
Cours 3-1 (Pdf) 31/10/2018
Cours 3-2 (Pdf) 31/10/2018
Cours 4 (Pdf) 31/10/2018

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 1004, deuxième étage, Bât Sophie Germain, Univ. Paris-Diderot.

Horaire
Le vendredi de 8h45 à 11h45.

Date et lieu de l'examen
Date: le 30 Novembre 2018 de 8h45 à 11h45
Lieu: Salle 1004, Bât Sophie Germain, Univ. Paris-Diderot.
Tous les documents imprimés et personnels sont autorisés.