Composing Codensity Bisimulations.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata

Browse the full LICS paper archive.