TY - BOOK AU - Barr,Michael AU - Wells,Charles TI - CATEGORY THEORY FOR COMPUTING SCIENCE SN - 0133238091 U1 - 512.55 PY - 1995/// CY - PB - Prentice-Hall International, London KW - Electronic Data Processing -- Mathematics KW - Catagories (Mathematics) ER -