Thierry Coquand
IdRefMots clés
FR |
EN
Théorie des types
Isomorphisme de Curry-Howard
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)
Langages formels
Réécriture
Cadre logique
Terminaison
Eta-Conversion
Polymorphisme d'univers
Réécriture, Systèmes de (informatique)
Réalisabilité
Assistants de preuve
Réalisabilité classique
Extraction de programme