Category theory and computer science
Subtitle: 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
By: Eugenio Moggi, Giuseppe Rosolini (eds.).
Contributors: Moggi, Eugenio.; Rosolini, G. 1954-; Biennial Conference on Category Theory in Computer Science (7th : 1997 :  Santa Margherita Ligure, Italy)
Series: Lecture notes in computer science,; 1290
Publisher: Springer-Verlag
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 313
Subjects: Computer science -- Mathematics -- Congresses; Categories (Mathematics) -- Congresses
Notes: Includes bibliographical references.
"Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"--Pref.