Profunctors, open maps and bisimulation (2000)

by Gian Luca Cattani, Glynn Winskel
Venue:Mathematical Structures in Computer Science, To appear. Available from the Glynn Winskel’s web