HAEUSLER , E. H.; PEREIRA , L. C. P. D. . The rules-as types interpretations of Schröder-Heister’s extension of natural deduction. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 22, n. 2, p. 149–163, 1999. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666391. Acesso em: 8 jun. 2023.