Computability and lambda-Definability

Alan M. Turing. Computability and lambda-Definability. Journal of Symbolic Logic, 2(4):153-163, 1937.

Authors

Alan M. Turing

Identified as Alan M. Turing