Glynn Winskel
IdRefMots clés
FR |
EN
Sémantique des jeux
Sémantique dénotationnelle
Concurrence
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
Réécriture de graphes
Transformation de graphes
Représentation des connaissances
Piste d'audit
Bases de données orientées graphes
Bio-curation
Signalisation cellulaire
Modélisation à base de règles
Théorème de Herbrand
Analyse de coût