Benedict Bunting : Publications
-
[1]
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