Computability and lambda-definability (1937)

by A M Turing
Venue:Journal of Symbolic Logic