TY  - RPRT
TI  - Codensity Games for Bisimilarity
AU  - Yuichi Komorida
AU  - Shin-ya Katsumata
AU  - Nick Hu
AU  - Bartek Klin
AU  - Ichiro Hasuo
PY  - 2019
UR  - https://arxiv.org/abs/1907.09634
ID  - 1907.09634
ER  -