Stratification and Cut-elimination (1991)

by M Crabbé
Venue:Journal of Symbolic Logic