Silva, Geiza Maria Hamazaki da, et Edward Hermann Haeusler. « Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural ». Princípios: Revista de Filosofia (UFRN) 8, no. 10 (octobre 2, 2010): 25–61. Consulté le décembre 23, 2025. https://www.periodicos.ufrn.br/principios/article/view/627.