TY - GEN T1 - Coalgebraic Games in Kleisli Categories PY - 2019/05/01 AU - Beohar H AU - König B AU - Küpper S AU - Mika-Michalski C ED - Y2 - 2024/12/23 ER -