membro de https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 Semântica e Filosofia da Lógica Grupo de Pesquisa
publicações selecionadas Da Interpretação BHK à Teoria Intuicionista dos Tipos: a construção mental como conceito primitivo fundamental
