Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Moggi, Eugenio; Moggi, Eugenio; Rosolini, Giuseppe; Rosolini, Giuseppe (Springer Berlin Heidelberg : Imprint: Springer, 1997)