Lambda-definability and recursiveness (1936)

by Stephen C Kleene
Venue:Duke Mathematical Journal