Category Theory and Computer Science 1997, Springer LNCS 1290 (1997)

by In Eugenio Moggi, Giuseppe Rosolini, Eds
Venue:Math. Proc. of the Kunming International CASE Symposium