Lambda-definability and recursiveness (1936)

by Stephen Cole Kleene
Venue:Duke Mathematical Journal