How Does The Lambda Calculus