Benedict Bunting
Benedict Bunting
Doctoral Student
College Lecturer, St John's College
Student, Keble College
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Selected Publications
-
Operational Algorithmic Game Semantics
Benedict Bunting and Andrzej S Murawski
In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages 1–13. IEEE. 2023.
Details about Operational Algorithmic Game Semantics | BibTeX data for Operational Algorithmic Game Semantics