Category theory and computer science : 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings / - Moggi, Eugenio.; Rosolini, G. (Springer-Verlag,, 1997)