Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.

Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Browse the full FOSSACS paper archive.