Haeusler , E.H. e 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 (out. 1999), 149–163.