Combinators, -terms and Proof (1972)

by S Stenlund