Functorial bounds for cut elimination in L... .I.
Ferbus, Marie-Christine
Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), p. 141-158 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1984-01-01
EUDML-ID : urn:eudml:doc:138028 
@article{GDZPPN00204577X,
     title = {Functorial bounds for cut elimination in L... .I.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {24},
     year = {1984},
     pages = {141-158},
     zbl = {0558.03026},
     url = {http://dml.mathdoc.fr/item/GDZPPN00204577X}
}

Ferbus, Marie-Christine. Functorial bounds for cut elimination in L... .I.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984) pp. 141-158. http://gdmltest.u-ga.fr/item/GDZPPN00204577X/