Category theory and computer science 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 - 6, 1997 ; proceedings (Springer, 1997)