I'm rather confused by the recursion theory.
From the link, the recursion theory was formed by Dedekind, Gödel and some other famous mathematicians. There are the following types of recursion. But where is tail recursion? can this concept parallel to these concepts? what else concept goes parallel to tail recursion?
1.1 The Initial Functions 1.2 Iteration 1.3 Primitive recursion 1.4 Primitive recursion with parameters 1.5 Course-of-value recursion 1.6 Double recursion 1.7 Minimization (least search)