Le moteur de recherche
des thèses françaises
Silvia Ghilezan
IdRefMots clés
FR |
EN
Lambda-calcul
Lambda-Calcul
Isomorphisme de Curry-Howard
Logiques probabilistes
Vérification formelle
Cadres logiques
Coq
Probabilités
Méthodes formelles (informatique)
Logiciels -- Vérification
Coq (logiciel)
Théorie des types
Réécriture
Réplication par noeuds
Applications généralisées
Types intersection
Substitutions explicites
Systèmes de réécriture (informatique)
Appel-Par-Valeurs
Arbres de Böhm