 The concept of a lambda-definable function is due to Church and his student Stephen Kleene (Church 1932, 1936a, 1941; Kleene 1935). A function is said to be lambda-definable if the values of the function can be obtained by a certain process of repeated substitution.