VariousWords beta
Related Terms:
Adjective
Definition: Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.
VariousWords beta
Definition: Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.