View of Deriving Bisimulation Congruences: 2-Categories vs. Precategories

Return to Article Details Deriving Bisimulation Congruences: 2-Categories vs. Precategories Download Download PDF