SILVA, Geiza Maria Hamazaki da; HAEUSLER, Edward Hermann. Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princípios: Revista de Filosofia (UFRN), [S. l.], v. 8, n. 10, p. 25–61, 2010. Disponível em: https://www.periodicos.ufrn.br/principios/article/view/627. Acesso em: 24 dez. 2025.