TY - BOOK AU - Pitt D H Ed. AU - Dybjer P Ed. AU - Rydeheard D E Ed. ED - Sympoaium on category theory and computer science (1989 : Manchester U K) TI - Papers on category theory and computer science T2 - Lecture notes in computer science; 389 U1 - D65,8(B)oaB2-316, M9 PY - 1989/// CY - Berlin PB - Springer-Verlag KW - Mathematical computer science ER -