ML p(r)ior | Textbook examples of recursion
Processing...

Textbook examples of recursion

1991-08-01
9301113 | cs.CC
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.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations