Complexity of normalization in the pure typed λ-calculus (1982)

by H Schwichtenberg
Venue:In The L.E.J. Brouwer Centenary Symposium , Volume 110 of Studies in Logic and the Foundations of Mathematics. North-Holland