Silva, G. M. H. da e Haeusler, E. H. (2010) “Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural”, Princípios: Revista de Filosofia (UFRN), 8(10), p. 25–61. Disponível em: https://periodicos.ufrn.br/principios/article/view/627 (Acessado: 8 julho 2024).