User blog comment:Fejfo/Using functions as fundamental sequences for the fgh/@comment-1605058-20180428184459

This is very similar to Kleene's O - in Kleene's O, we restrict ourselves to recursive functions which we index by natural numbers, so that at each point we have a function from naturals to naturals (not from naturals to other functions).