TY - BOOK AU - Pierce, Benjamin C TI - Basic category theory for computer scientists SN - 0262660717 CY - Cambridge KW - Computer Science - Mathematics ER -