Skip to content

Deriving Bisimulation Congruences: 2-Categories Vs Precategories.

Vladimiro Sassone, Pawel Sobocinski

Year2003
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.