Lambda calculus
Lambda calculus is known to be computationally equivalent in power to