Walther recursion

Walther recursion is a method used in functional programming and formal language theory to define functions that can be computed via recursive calls. It builds on the concept of general recursion while emphasizing the structure of recursive definitions. The central idea of Walther recursion is to express a function in terms of a "primitive recursion" along with an additional layer that allows for the use of previously computed values in the recursive process.