TY  - CONF

T1  - Graded Monads and Behavioural Equivalence Games

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

PY  - 2022/08/04

AU  - Ford C

AU  - Milius S

AU  - Schröder L

AU  - Beohar H

AU  - König B

ED  - 

DO  - DOI: 10.1145/3531130.3533374

PB  - ACM

Y2  - 2024/12/22

ER  -