[throwaway7645]

Ah, was about to say that all goes back to lambda calculus by Church and could be found in Lisp probably around ~1958.

[agumonkey]

Actually I think there's a relation with exponentials and integral calculus. Or anything hyper-iteration related.