Evènement pour le groupe Séminaire Méthodes Formelles


Date 2017-04-04  11:00-12:00
TitreAutomata 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. 
Lieu178 
OrateurAndrzej Murawski 
Emailhttps://www2.warwick.ac.uk/fac/sci/dcs/people/andrzej_murawski/ 
UrlUniversity of Warwick 



Aucun document lié à cet événement.

Retour
Retour à l'index