TY - BOOK AU - Crole,Roy L. TI - Categories for types SN - 9780521457019 PY - 1993/// CY - Cambridge PB - Cambridge University Press KW - Category Theory ER -