Tilbage til artikeldetaljer
Profunctors, Open Maps and Bisimulation
Download
Download PDF