Categories for types - Crole, Roy L. (Cambridge ; New York : Cambridge University Press, 1993)
Keywords: Categories (Mathematics); Lambda calculus