Tom Hirschowitz
IdRefMots clés
FR |
EN
Catégories (mathématiques)
Sémantique dénotationnelle
Langages de programmation
Théorie de la démonstration
Sémantique selon la théorie des jeux
Sémantique
Logique de seuil
Catégories supérieures
Logique linéaire différentielle
Espaces vectoriels
Topologie
Distributions, Théorie des (analyse fonctionnelle)
Région Cubique
Concurrence
Factorisation
Catégorie
Cube
Programmation parallèle (informatique)
Modèles bicategoriels de la logique linéaire
Stratégies innocentes