Lambda Calculus and Proof Theory