HAEUSLER , Edward Hermann; PEREIRA , Luiz Carlos Pinheiro Dias. 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: 27 abr. 2024.