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 |
BibTeX
@TECHREPORT{Cattani00profunctors,open,
author = {Gian Luca Cattani and Glynn Winskel},
title = {Profunctors, open maps and bisimulation},
institution = {Mathematical Structures in Computer Science, To appear. Available from the Glynn Winskel’s web},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
