Thierry Coquand

Public lectures

Computer Sciences and Digital Technologies
2 series

Active filters

2024 - 2025

Opening lecture
-

Type theory, from Russell to demonstration assistants

Thierry Coquand
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-
Lecture

Dependent type theory and mathematical formalization

Thierry Coquand
→
→