Silva GMH da, Haeusler EH. Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princí­pios [Internet]. 2º de outubro de 2010 [citado 8º de julho de 2024];8(10):25-61. Disponível em: https://periodicos.ufrn.br/principios/article/view/627