Benedict Bunting
Benedict Bunting
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Selected Publications
-
Contextual Equivalence for State and Control via Nested Data
Benedict Bunting and Andrzej S. Murawski
In Pawel Sobocinski‚ Ugo Dal Lago and Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2024‚ Tallinn‚ Estonia‚ July 8−11‚ 2024. Pages 19:1–19:14. ACM. 2024.
Details about Contextual Equivalence for State and Control via Nested Data | BibTeX data for Contextual Equivalence for State and Control via Nested Data | DOI (10.1145/3661814.3662109) | Link to Contextual Equivalence for State and Control via Nested Data
-
Operational Algorithmic Game Semantics
Benedict Bunting and Andrzej S. Murawski
In 38th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2023‚ Boston‚ MA‚ USA‚ June 26−29‚ 2023. Pages 1–13. IEEE. 2023.
Details about Operational Algorithmic Game Semantics | BibTeX data for Operational Algorithmic Game Semantics | DOI (10.1109/LICS56636.2023.10175791) | Link to Operational Algorithmic Game Semantics