Haeusler , E. H., & Pereira , L. C. P. D. . (1999). The rules-as types interpretations of Schröder-Heister’s extension of natural deduction. Manuscrito: Revista Internacional De Filosofia, 22(2), 149–163. Recuperado de https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666391