Login / Signup
Composing Codensity Bisimulations.
Mayuko Kori
Kazuki Watanabe
Jurriaan Rot
Shin-ya Katsumata
Published in:
LICS (2024)
Keyphrases
</>