Stratification and cut-elimination (1991)

by M Crabbé
Venue:The Journal of Symbolic Logic