[GALOP'24] Operational Algorithmic Game Semantics | ACM SIGPLAN | Podwise