Nagase, D. A. Conceitos Matemáticos Como Tipos Naturais. R. Fil. Mod. Contemp. 2018, 6, 07-13.