{"version":"1.0","type":"link","title":"Double recursion - Newikis","description":"In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive functions like the Ackermann function.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}