Combinators, Lambda-Terms and Proof Theory door Stenlund, S.