Silva GMH da, Haeusler EH. Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princí­pios [Internet]. 2010 Oct. 2 [cited 2024 May 18];8(10):25-61. Available from: https://periodicos.ufrn.br/principios/article/view/627