Primitive recursion

Redirect to:

• Primitive recursive function