Le moteur de recherche
des thèses françaises
Sergei Soloviev
IdRefMots clés
FR |
EN
Théorie des types
Systèmes de réécriture (informatique)
Théorie de la démonstration
Isomorphismes (mathématiques)
Récriture
Théorie de la preuve
Catégories (mathématiques)
Théorie des catégories
Architecture dirigée par les modèles
Graphes attribués
Réécriture de graphes
Catégories
Double pushout
Pullback
Théorie des graphes
Ingénierie dirigée par les modèles
Sous-typage coercitif
Types dépendants
Logique mathématique
Lambda-calcul