17 Mar 2025 → 19 mai 2025 Cours Théorie des types dépendants et formalisation des mathématiques 17 Mar 2025 → 19 mai 2025 Partager Facebook X (ex-Twitter) Linkedin Copier le lien
Cours 28 Avr 2025 10:00 à 11:00 Thierry Coquand Le mystère de l’égalité ; la notion de type comme généralisation de la notio…
Cours 12 mai 2025 10:00 à 11:00 Thierry Coquand Modèles de la théorie des types et du principe d’univalence