Login / Signup

Composing Codensity Bisimulations.

Mayuko KoriKazuki WatanabeJurriaan RotShin-ya Katsumata
Published in: CoRR (2024)
Keyphrases