TY - BOOK AU - PITT D H Ed. AU - Poigne A Ed. AU - Rydeheard D E Ed. ED - Symposium on category theory and computer science (1987 : Edinburgh U,K) TI - Category theory and computer science T2 - Lecture notes in computer science; 283 U1 - D65,8(B)0aB2-316, M7 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Computer science ER -