Haeusler , Edward Hermann, e Luiz Carlos Pinheiro Dias Pereira. 1999. “The Rules-As Types Interpretations of Schröder-Heister’s Extension of Natural Deduction”. Manuscrito: Revista Internacional De Filosofia 22 (2). Campinas, SP:149-63. https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666391.