Alan M. Turing. Computability and lambda-Definability. Journal of Symbolic Logic, 2(4):153-163, 1937.
@article{Turing37,
title = {Computability and lambda-Definability},
author = {Alan M. Turing},
year = {1937},
researchr = {https://researchr.org/publication/Turing37},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {2},
number = {4},
pages = {153-163},
}