Pratica : proofs, types and categories - Hermann Haeusler, Edward (Pontificia Universidade Catolica do Rio de Janeiro, 1999)