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

Les transparents du cours
Dernière mise à jour
Cours Première Partie (PDF) 28/10/2019
Cours Deuxième Partie (PDF) 04/11/2019

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


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

Horaire
Le lundi de 16h15 à 18h45.

Date et lieu de l'examen
Date: le 18 Novembre 2019 de 16h15 à 19h15 (3 heures)
Lieu: Salle 1013, Bât Sophie Germain, Univ. Paris-Diderot.
Tous les documents imprimés et personnels sont autorisés.