Categories for types /
Crole, Roy L.
Categories for types / Roy L. Crole. - Cambridge ; New York : Cambridge University Press, 1993. - xvii, 335 p. : ill. ; - Cambridge mathematical textbooks .
0521457017
Categories (Mathematics)
Lambda calculus.
QA169 / .C685 1993
511.3
Categories for types / Roy L. Crole. - Cambridge ; New York : Cambridge University Press, 1993. - xvii, 335 p. : ill. ; - Cambridge mathematical textbooks .
0521457017
Categories (Mathematics)
Lambda calculus.
QA169 / .C685 1993
511.3