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