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