Benedict Bunting : Publications

Conference papers

• [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