Profunctors, open maps, and bisimulation (0)

by G L Cattani, G Winskel
Venue:Mathematical Structures in Computer Science