Category theory and computer science proceedings - Moggi Eugenio ed.; International Conference, CTCS '97 on Category Theory and Computer Science (7th : 4-6 Sep 1997 : Santa Margherita Ligure, Italy); International conference, CTCS '97 on category theory and computer science Santa Margherita Ligure, Italy 4-6 Sep 1997 (Berlin Springer-Verlag, 1997)
Keywords: Computer science-mathematical techniques