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

by A Ungar
Venue:in Lecture Notes. Center for the Study of Language and Information