%0 Book
%A Eugenio Moggi, Giuseppe Rosolini )eds.(
%T Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
%U /book/101380753/Category-theory-and-computer-science-7th-Interna/