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

by H Schwichtenberg
Venue:The L.E.J. Brouwer Centenary Symposium