Benedict Bunting : Publications

Click here to download all publications in a single bibtex file

@inproceedings{bunting2023operational,
  title = "Operational Algorithmic Game Semantics",
  author = "Bunting, Benedict and Murawski, Andrzej S",
  year = "2023",
  booktitle = "2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
  organization = "IEEE",
  pages = "1--13",
}