 Computable functions are a fundamental concept within computer science and mathematics.The lambda calculus provides a simple semantics for computation, enabling properties of computation to be studied formally.The lambda calculus incorporates two simplifications that make this semantics simple.