Por otro lado, las funciones que pueden ser computadas con el cálculo Lambda de Church son exactamente aquellas que pueden ser computadas con una máquina de Turing.