Graded Monads and Behavioural Equivalence Games

Reference

Chase Ford, Stefan Milius, Lutz Schröder, Barbara König, and Harsh Beohar. Graded monads and behavioural equivalence games. In CMCS Short Contributions '22, 2022.

Suggested BibTeX entry:

@inproceedings{FMSKB22a,
    author = {Chase Ford and Stefan Milius and Lutz Schr{\"o}der and Barbara K{\"o}nig and Harsh Beohar},
    booktitle = {CMCS Short Contributions '22},
    title = {Graded Monads and Behavioural Equivalence Games},
    year = {2022}
}

Extended version, Conference versionThis work is not available online here.