Turing Computability and Lamba-Definability (1937)

by A M
Venue:Journal of Symbolic Logic