Client Lambda Calculus Examples