Silva, G. M. H. da et 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. Disponible à: https://periodicos.ufrn.br/principios/article/view/627 (Consulté le: 18 mai 2024).