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.