Thierry Coquand

Public lectures

Computer Sciences and Digital Technologies
3 series

2024 - 2025

Type theory, from Russell to demonstration assistants
Thierry Coquand

-
Opening lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Dependent type theory and mathematical formalization
Thierry Coquand

→
Lecture
→

Formalizing mathematics and dependent types
Thierry Coquand

Symposium