Title: Lambda-calculus and Combinators, an Introduction