Hugo Herbelin
IdRefMots clés
FR |
EN
Théorie des types
Coq
Théorie de la démonstration
Coq (logiciel)
Lambda-calcul
Effets de bord
Langages de programmation
Logique informatique
Sémantique catégorique
Monades
Assistants de preuve
Typage
Automatisation
SMT
Réflexion
Congruence
Conteneurs
Catégorie de modèles
Algèbre homotopique
Bifibration de Grothendieck