Course-of-values recursion
Course-of-value recursion allows the use of any number of values for previous arguments, as opposed to the primitive recursion where only the value for the immediately preceeding argument can be used. Although apparently more general, this notion actually turns out to be reducible to the usual primitive recursion as well (see Odifreddi, 1989, I.7.1).
References
Odifreddi, P.G., 1989, Classical Recursion Theory, North Holland; second edition, 1999.
 | Pages in this category should be moved to subcategories where applicable. This category may require frequent maintenance to avoid becoming too large. It should directly contain very few, if any, pages and should mainly contain subcategories. |
 | This template should only be transcluded in the category namespace(s). |
Wikimedia Commons has media related to Course-of-values recursion.