The correspondence between cut-elimination and normalization I (1974)

by J I Zucker
Venue:Annals of Mathematical Logic