Lambda-Calculus

• Actually, that's -calculus

• More natural in some ways than Turing machines

• Models function calling and value return

• Turing-equivalent

• Can perform all conventional computations

• Church, 1934