ACM SIGPLAN - [GALOP'24] Operational Algorithmic Game Semantics
Sign in to continue reading, translating and more.