Lambda Calculus Functional Programming Paradigm