No. 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation

Published: 2004-01-22

Articles