Coalgebraic Games in Kleisli Categories

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Coalgebraic games in kleisli categories. In CALCO Early Ideas '19, 2019.

Suggested BibTeX entry:

@inproceedings{BKKM19,
    author = {Harsh Beohar and Barbara K{\"o}nig and Sebastian K{\"u}pper and Christina Mika-Michalski},
    booktitle = {CALCO Early Ideas '19},
    title = {Coalgebraic Games in Kleisli Categories},
    year = {2019}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group