Lambda-definability and recursiveness (1936)

by S C Kleene
Venue:Duke Mathematical Journal