Bisimulation and Open Maps (1993)

Cached

Download Links

by André Joyal , Mogens Nielsen , Glynn Winskel
Venue:In Proc. LICS'93, Eighth Annual Symposium on Logic in Computer Science
Citations:36 - 7 self