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

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