Nagase, D. A. (2018) “Conceitos Matemáticos como Tipos Naturais”, Revista de Filosofia Moderna e Contemporânea, 6(2), p. 07–13. doi: 10.26512/rfmc.v6i2.19014.