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

Publiceret: 2004-01-22

Artikler