Profunctors, open maps and bisimulation (2000)

View PDF

Download Links

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