Client Lambda Calculus