No. 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories

Published: 2003-01-01

Articles