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