Le moteur de recherche
des thèses françaises
Tom Hirschowitz
IdRefMots clés
FR |
EN
Sémantique dénotationnelle
Catégories (mathématiques)
Langages de programmation
Sémantique
Théorie de la démonstration
Théorie des types
Logique de seuil
Sémantique selon la théorie des jeux
Catégories supérieures
Lambda-calcul
Logique linéaire différentielle
Espaces vectoriels
Topologie
Théorie des distributions (analyse fonctionnelle)
Lambda-Calcul
Appel-Par-Valeurs
Arbres de Böhm
Logique informatique
Théorie de l'approximation
Région Cubique