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. In Proc. of LICS '22. IEEE, 2022.

Suggested BibTeX entry:

@inproceedings{FMSKB22c,
    author = {Harsh Beohar and Chase Ford and Barbara K{\"o}nig and Stefan Milius and Lutz Schr{\"o}der},
    booktitle = {Proc. of LICS '22},
    publisher = {IEEE},
    title = {Graded Monads and Behavioural Equivalence Games},
    year = {2022}
}

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