Vincent Danos
IdRefMots clés
FR |
EN
Informatique
Langages de programmation -- Sémantique
Réseaux de réactions biochimiques
Séparation des échelles temps et concentration
Réduction de modèles
Croissance cellulaire
Stockage de resources cellulaires
Modèles mécanistiques de réplication cellulaire
Bioinformatique
Programmation Quantique
Sémantique des Jeux
Sémantique Dénotationnelle
Probabilités
Théorie des Catégories
Lambda-calcul
Sémantique selon la théorie des jeux
Causalité
Graphes
Automates cellulaires
Réversibilité