$\lambda$-definability and recursiveness