TY - RPRT TI - Existential and positive games: a comonadic and axiomatic view AU - Samson Abramsky AU - Thomas Laure AU - Luca Reggio PY - 2025 UR - https://arxiv.org/abs/2503.01247 ID - 2503.01247 ER -