D. A. Nagase, “Conceitos Matemáticos como Tipos Naturais”, R. Fil. Mod. Contemp., vol. 6, nº 2, p. 07–13, dez. 2018.