Textbook examples of recursion
classification
💻 cs.CC
keywords
recursioncandidatesdiscussexamplesfunctioninterestingintriguingmachine
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.