Bisimulation and Open Maps (1993)

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