Nagase, D. A. (2018). Conceitos Matemáticos como Tipos Naturais. Revista De Filosofia Moderna E Contemporânea, 6(2), 07–13. https://doi.org/10.26512/rfmc.v6i2.19014