Give Lambda Calculus Functional Programming Definition In Computer