Eugenio Moggi Giuseppe Rosolini Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings CTCS Lecture Notes in Computer Science 1290 Springer 1997 3-540-63455-X db/conf/ctcs/ctcs1997.html