Category:Definitions/Primitive Recursive Functions

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Primitive Recursive Functions.
Related results can be found in Category:Primitive Recursive Functions.

A function is primitive recursive if it can be obtained from basic primitive recursive functions using the operations of substitution and primitive recursion a finite number of times.