Deriving bisimulation congruences: 2-categories vs. precategories (2003)

by Vladimiro Sassone , Paweł Sobociński
Venue:In FOSSACS ’03, volume 2620 of LNCS
Citations:22 - 7 self