Le moteur de recherche
des thèses françaises
Eric Finster
IdRefMots clés
FR |
EN
Théorie des types
Catégories supérieures
Théorie des catégories
Diagrammes de compositions
Sémantique
Théorie homotopique des types
Langages formels
Catégories (mathématiques)
Sémantique opérationnelle
Théorie des types dépendants
Paramétricité
Modèles cubiques de la théorie des types
Objets colibres
Modèles paramétriques (statistique)
Logique informatique