Glynn Winskel dirige actuellement la thèse suivante :

Sémantique des Jeux Quantique

par Marc DE VISME sous la direction de Olivier Laurent et de Glynn Winskel . - Lyon

Informatique
Soutenue le 28-09-2020
Thèse en préparation


Glynn Winskel a dirigé la thèse suivante :


Glynn Winskel a été rapporteur de la thèse suivante :


Glynn Winskel a été membre de jury de la thèse suivante :

Informatique
Soutenue le 13-07-2017
Thèse soutenue