TY  - CONF

T1  - Graded monads and behavioural equivalence games

JO  - LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

UR  - https://eprints.whiterose.ac.uk/id/eprint/213740

PY  - 2022/08/04

AU  - Ford C

AU  - Milius S

AU  - Schröder L

AU  - Beohar H

AU  - König B

ED  - Baier C

DO  - DOI: 10.1145/3531130.3533374

PB  - Association for Computing Machinery (ACM)

SN  - 9781450393515

Y2  - 2025/11/20

ER  -