TY  - BOOK
AU  - Moggi,Eugenio
AU  - Rosolini,Giuseppe
ED  - Biennial Conference on Category Theory in Computer Science
TI  - Category theory and computer science: 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings 
SN  - 354063455X
AV  - QA76.9 M35 B53 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Computer science
KW  - Mathematics
KW  - Congresses
KW  - Categories (Mathematics)
N1  - "Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"
ER  -