TY  - BOOK
AU  - Moggi Eugenio ed.
ED  - International Conference, CTCS '97 on Category Theory and Computer Science (7th : 4-6 Sep 1997 : Santa Margherita Ligure, Italy)
ED  - International conference, CTCS '97 on category theory and computer science
TI  - Category theory and computer science: proceedings
U1  - 4.0151 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer science-mathematical techniques
ER  -