Lambda Calculus Functional Programming Definitions For Beginners