Una función "F": N → N de números naturales es una función computable si y sólo si existe una expresión lambda "f" tal que para todo par de "x", "y" in N,  "F"("x") = "y"  si y sólo si  "f" "x" == "y",  donde "x" e "y" son numerales de Church correspondientes a "x" e "y", respectivamente.