TY - BOOK AU - Pitt,David TI - Category theory and computer programming: tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings SN - 3540171622 AV - QA76.9 M35 B53 1985 PY - 1986/// CY - Berlin PB - Springer KW - Electronic digital computers KW - Programming KW - Congresses KW - Categories (Mathematics) ER -