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

Publiceret: 2003-01-01

Artikler