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 |
| Citations: | 10 - 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 |
