TY - BOOK AU - Barr Michael AU - Wells Charles TI - Category theory for computing science U1 - 512.55 PY - 1990/// CY - New York PB - Prentice Hall KW - Category theory ER -