Les transparents du cours
| | | |
Dernière mise à jour |
| |
Planning (PDF) |
| 11/10/2023 |
| |
Proof Nets (PDF) |
| 11/10/2023 |
| |
Explicit Substitution Calculi (PDF) |
| 17/10/2023 |
| |
From Explicit Substitution Calculi to MELL Proof-Nets (PDF) |
| 23/10/2023 |
| |
From MELL Proof-Nets to Explicit Substitution Calculi (PDF) |
| 31/10/2023 |
Quelques notes/articles
The Linear Logic Primer (
PDF)
The Lambdapn-calculus (
PDF)
The Lambdalxr-calculus (
PDF)
Salle de cours
Salle 1002, premier étage, Bât Sophie Germain, Univ. de Paris.
Horaire
Le mardi de 16h15 à 19h15.
Date et lieu de l'examen
Date: 21 Novembre 2023, de 17h à 20h.
Lieu: Salle 1021, premier étage, Bât Sophie Germain, Univ. de Paris.
Uniquement les documents imprimés et personnels sont autorisés.