Nagase, Daniel Arvage. 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.