Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2017-04-04 11:00-12:00 |
Titre | Automata theory and game semantics of higher-order computation |
Résumé | I will give a survey of various classes of automata that have
been used to capture the game semantics of higher-order programs
and, consequently, obtain decidability results for contextual equivalence. |
Lieu | 178 |
Orateur | Andrzej Murawski |
Email | https://www2.warwick.ac.uk/fac/sci/dcs/people/andrzej_murawski/ |
Url | University of Warwick |
Aucun document lié à cet événement.
RetourRetour à l'index