Dan Ghica
IdRefMots clés
FR |
EN
Sémantique des jeux
Sémantique dénotationnelle
Théorème de Herbrand
Analyse de coût
Structure d’événements
Concurrence
Modèle dénotationnel quantitatif
Analyse de temps
Langages de programmation -- Sémantique
Langages de programmation fonctionnels
Langages de programmation synchrones
Systèmes de types
Compilation
Circuits numériques synchrones
Langages de programmation fonctionnelle
Compilation (informatique)
Sémantiques dénotationnelles
Coeffets
Logique linéaire
Hyperimmunité