Thierry Coquand
Mots clés
FR |
EN
Théorie des types
Isomorphisme de Curry-Howard
Langages formels
Théorie homotopique des types
Théorie de l'homotopie
Théorie des catégories
Homotopie
Catégories (mathématiques)
Logique mathématique
ML (langage de programmation)
Réalisabilité classique
Extraction de programme
Nombres réels
Forcing (mathématiques)
Réalisabilité
Lambda-calcul
Coq
Assistants de preuve
Théorie des types homotopiques
Topologie algébrique