Lambda Terms, and Proof Theory (1972)

by S Stenlund, Combinators