Le moteur de recherche
des thèses françaises
Christine Paulin-Mohring
IdRefMots clés
FR |
EN
Théorie des types
Théorie de la démonstration
Méthodes formelles (informatique)
Coq
Assistants de preuve
Isomorphisme de Curry-Howard
Preuve de programmes
Système Coq
Cryptographie
Allocation de registres
Vérification formelle
Coloration de graphe
Code source (informatique)
Algorithmes
Architecture client-serveur (informatique)
Réalisabilité
Paramétricité
Relation logique
Systèmes de types purs
Types dépendants