Silvia Ghilezan
Mots clés
FR |
EN
Lambda-calcul
Isomorphisme de Curry-Howard
Lambda-Calcul
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
Réécriture, Systèmes de (informatique)
Appel-Par-Valeurs
Arbres de Böhm