publicações selecionadas UMA AVALIAÇÃO DA ESTRUTURA DE TIPOS PRESENTE NA TERCEIRA SEÇÃO DA BEGRIFFSSCHRIFT, À LUZ DO CÁLCULO LAMBDA. Uma Avaliação da Estrutura de Tipos Presente na Terceira Seção da Begriffsschrift, à Luz do Cálculo Lambda.,
