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 19º de janeiro de 2026];8(10):25-61. Disponível em: https://www.periodicos.ufrn.br/principios/article/view/627