λ-calculus
Turing Machines
normal order
applicative order
call by value
call by name