[nine_k]

I suppose one should see "access to previous invocations" as function composition.

The counter's description is literally Church numbers.