Pratica : proofs, types and categories - Hermann Haeusler, Edward; Pereira, Luiz Carlos (Rio de Janeiro : Pontificia Universidade Catolica do Rio de Janeiro, 1999)
Keywords: CATEGORIAS (MATEMATICAS); LOGICA, SIMBOLICA Y MATEMATICA; MATEMATICAS CONSTRUCTIVAS