Combinators, λ-terms and Proof Theory (1972)

by Sören Stenlund