Computability and λ-Definability