E. Souza, “ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF”, RPFilo, vol. 5, nº 1, p. 63–74, jul. 2025.