Categorical logic and type theory - Jacobs, Bart. (Amsterdam : Elsevier Science, 1999)
Incluye referencias bibliográficas (p. 717-733) e índices.
MR
Keywords: Type theory; Categories (Mathematics)