Today I read a paper titled “Textbook examples of recursion”
The abstract is:
We discuss properties of recursive schemas related to McCarthy’s “91 function” and to Takeuchi’s triple recursion.
Several theorems are proposed as interesting candidates for machine verification, and some intriguing open questions are raised..