Turing: Computability and λ-definability (1937)

by A M
Venue:Journal of Symbolic Logic