Salle 5, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Plan du cours :

  • énoncé de la conjecture qui affirme le caractère effectif du principe d’univalence ; 
  • présentation de la preuve de Rafaël Bocquet de cette conjecture, preuve qui utilise la plupart des notions présentées dans ce cours.

Intervenant(s)

Événements

Voir aussi

Thierry Coquand, chaire Informatique et sciences numériques
Théorie des types dépendants et formalisation des mathématiques