Tilbage til artikeldetaljer
Deriving Bisimulation Congruences: 2-Categories vs. Precategories
Download
Download PDF