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

Ferbus, Marie-Christine. Functorial bounds for cut elimination in L.. .II.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985) pp. 13-20. http://gdmltest.u-ga.fr/item/GDZPPN002045818/