Lambda Calculus: Under the Hood