@misc{indiciae1a9c6f385ed7,
  title = {Composing Codensity Bisimulations},
  author = {Mayuko Kori and Kazuki Watanabe and Jurriaan Rot and Shin-ya Katsumata},
  year = {2024},
  url = {https://arxiv.org/abs/2404.08308},
  note = {Source identifier: 2404.08308}
}