Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Eugenio Moggi, Giuseppe Rosolini ((Lecture Notes in Computer Science))