Operational Game Semantics for Generative Algebraic Effects and Handlers. - Hamza Jaafar; Guilhem Jaber (PPDP, 2025)