Categories for types / - Crole, Roy L. (Cambridge University Press,, 1993)