TY  - BOOK
AU  - Crole,Roy L.
TI  - Categories for types
SN  - 0521457017
AV  - QA169 .C685 1993
U1  - 511.3 
PY  - 1993///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Categories (Mathematics)
KW  - Lambda calculus
UR  - http://www.loc.gov/catdir/description/cam021/94184387.html
UR  - http://www.loc.gov/catdir/toc/cam021/94184387.html
ER  -