TY - BOOK AU - Rydeheard,David E. AU - Burstall,Rod M. TI - Computational category theory AV - QA169 R93 PY - 1988/// CY - New York PB - Prentice Hall KW - Electronic digital computers KW - Programming KW - Categories (Mathematics) KW - Data processing ER -