Follow
Benedict Bunting
Benedict Bunting
DPhil Student, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Operational Algorithmic Game Semantics
B Bunting, AS Murawski
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
22023
Contextual Equivalence for State and Control via Nested Data
B Bunting, A Murawski
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–2