Lambda Calculus Functional Programming Paradigms