Kleene “Lambda-Definability and Recursiveness (1936)

by S C
Venue:Duke Mathematical Journal