Nagase DA. Conceitos Matemáticos como Tipos Naturais. R. Fil. Mod. Contemp. [Internet]. 28º de dezembro de 2018 [citado 22º de novembro de 2024];6(2):07-13. Disponível em: https://periodicos.unb.br/index.php/fmc/article/view/19014