TY  - BOOK
AU  - Moggi, E (et-al)(Eds.)
TI  - Category theory and computer science :Lecture notes in compute science : Proceedings
SN  - 354063455X
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science
ER  -