Nagase, Daniel Arvage. “Conceitos Matemáticos Como Tipos Naturais”. Revista De Filosofia Moderna E Contemporânea, vol. 6, nº 2, dezembro de 2018, p. 07-13, doi:10.26512/rfmc.v6i2.19014.