Client Lambda Calculus Functional Programming Definition