TY  - RPRT
TI  - Composing Codensity Bisimulations
AU  - Mayuko Kori
AU  - Kazuki Watanabe
AU  - Jurriaan Rot
AU  - Shin-ya Katsumata
PY  - 2024
UR  - https://arxiv.org/abs/2404.08308
ID  - 2404.08308
ER  -