Nagase, Daniel Arvage. “Conceitos Matemáticos Como Tipos Naturais”. Revista de Filosofia Moderna e Contemporânea 6, no. 2 (dezembro 28, 2018): 07–13. Acessado abril 16, 2024. https://periodicos.unb.br/index.php/fmc/article/view/19014.