Complexity of normalization in the pure typed lambdacalculus (0)

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