Profunctors, open maps and bisimulation (2000)

Cached

Download Links

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

Document Versions

Profunctors, open maps and bisimulation –Gian Luca Cattani, Glynn Winskel — 2000 — Mathematical Structures in Computer Science, To appear. Available from the Glynn Winskel’s web