Lambda Calculus Functional Programming Definitions