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