Computability and λ-definability

Turing, A.M., ‘Computability’: ‘Computability and λ-definability’, Journal of Symbolic Logic 2.4 (1937), pp 153–163, jstor: 2268280.

journal article · https://doi.org/10.2307/2268280