Client Lambda Calculus Functional Programming