Operational Algorithmic Game Semantics
Benedict Bunting and Andrzej S. Murawski
Book Title
38th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2023‚ Boston‚ MA‚ USA‚ June 26−29‚ 2023
Pages
1–13
Publisher
IEEE
Year
2023
Benedict Bunting and Andrzej S. Murawski