Thierry Coquand

Public lectures

Computer Sciences and Digital Technologies
3 series

2024 - 2025

Type theory, from Russell to proof assistants
Thierry Coquand

-
Opening lecture
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Dependent type theory and mathematical formalization
Thierry Coquand

→
Lecture
→

Formalizing mathematics and dependent types
Thierry Coquand

Symposium