Title: Combinators, &lambda;-Terms and Proof Theory