Operational Algorithmic Game Semantics
Benedict Bunting and Andrzej S Murawski
Book Title
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Organisation
IEEE
Pages
1–13
Year
2023
Benedict Bunting and Andrzej S Murawski