TY - GEN AU - Barr,Michael AU - Wells , Charles TI - Category theory for computing science SN - 0133238091 U1 - 510 PY - 1995/// CY - London PB - Printice - Hall KW - ELECTRONIC DATA PROCESSING - MATHEMATICS KW - MATHEMATICS ER -