Le moteur de recherche
des thèses françaises
Hugo Herbelin
IdRefMots clés
FR |
EN |
ES
Théorie des types
Théorie de la démonstration
Coq
Lambda-calcul
Effets de bord
Langages de programmation
Coq (logiciel)
Logique informatique
Assistants de preuve
Sémantique catégorique
Monades
Traduction de programme
Objective Caml (langage de programmation)
ML (langage de programmation)
Typage
Automatisation
SMT
Réflexion
Congruence
Conteneurs