λ-definability and recursiveness