Graded Monads and Behavioural Equivalence Games

Reference

Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, and Lutz Schröder. Graded monads and behavioural equivalence games, 2022. arXiv:2203.15467.

Suggested BibTeX entry:

@misc{FMSKB22b,
    author = {Harsh Beohar and Chase Ford and Barbara K{\"o}nig and Stefan Milius and Lutz Schr{\"o}der},
    note = {arXiv:2203.15467},
    title = {Graded Monads and Behavioural Equivalence Games},
    year = {2022}
}

See arxiv.org ...Conference version, Conference version