Thierry Coquand Enseignements Informatique et sciences numériques Enseignements Menu de la chaire La chaire Biographie et publications Enseignements Audios & vidéos Actualités Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcasts Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook LinkedIn Bluesky Threads Copier le lien
La chaire Biographie et publications Enseignements Audios & vidéos Actualités 1 cycles Filtres Type d'enseignement Type d'enseignement Cours (1) (-) Colloque (1) Leçon inaugurale (1) Année académique Année académique 2024 - 2025 (1) Filtres actifs Colloque 2024 - 2025 Colloque Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 02 juin 2025
Colloque Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 02 juin 2025
