Benedict Bunting

Benedict Bunting

Doctoral Student

College Lecturer, St John's College

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

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