Bisimulation and open maps

Andr Joyal, Mogens Nielsen, Glynn Winskel

Browse the full LICS paper archive.