Thierry Coquand

Enseignements

Informatique et sciences numériques
3 cycles

2024 - 2025

La théorie des types, de Russell aux assistants à la démonstration
Thierry Coquand

-
Leçon inaugurale
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Théorie des types dépendants et formalisation des mathématiques
Thierry Coquand

→
Cours
→

Formalisation des mathématiques et types dépendants
Thierry Coquand

Colloque