Functorial bounds for cut elimination in L... .I. Marie-Christine Ferbus (1984) Archiv für mathematische Logik und Grundlagenforschung
Functorial bounds for cut elimination in L.. .II. Marie-Christine Ferbus (1985) Archiv für mathematische Logik und Grundlagenforschung