Complexity of normalization in the pure lambda–calculus (1982)

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