Assertion: ackermann function | /r/HasProperty | defined via primitive recursion
Facets:
value: over higher-order functionals
type: OTHER
Source sentences:
text: (X\rightarrow (Y\rightarrow Z))} (in computer science, this is called currying), the Ackermann function may be defined via primitive recursion over higher-order functionals as follows: