Normalization, cut-elimination and the theory of proofs (1992)

by A M Ungar
Venue:of CSLI Lecture Notes. CSLI