Normalization, Cut-eliminations and the Theory of Proofs (1992)

by A Ungar
Venue:Number 28 in CSLI Lecture Notes