TY - BOOK AU - CHARLES WELLS; MICHAEL BARR TI - CATEGORY THEORY FOR COMPUTING SCIENCE SN - 0131204866 U1 - 004.01 51255 N PB - PRENTICE-HALL KW - COMPUTER SCIENCE KW - COMPUTING ER -