TY - BOOK AU - Pitt, D. H., ed. lit. TI - Category theory and computer science T2 - Lecture notes in computer science VL - 389 SN - 3-540-51662-X PY - 1989/// CY - Berlin, Heidelberg, DE [etc.] PB - Springer-Verlag KW - Programação de computadores KW - Categorias (Matemática) KW - QA75.5 ER -