Stratification and Cut-eliminationCrabbé, Marcel(1991) The Journal of Symbolic Logic — Vol. 56, n° 1, p. 213-226 (1991)
Filespdfdocument.pdf Restricted Access Adobe PDF318.04 KBRequest a copyDetailsAuthorsCrabbé, MarcelUCLouvainAuthorAffiliationsUCLouvainShow moreCitations APA Chicago FWB Crabbé, M. (1991). Stratification and Cut-elimination. The Journal of Symbolic Logic, 56(1), 213-226. https://doi.org/10.2307/2274915 (Original work published 1991)