primitive recursion

listen to the pronunciation of primitive recursion
Englisch - Englisch
Recursion to a fixed depth
The operator \rho\, that creates a new function from two functions g\, and h\, such that: \begin{align}
primitive recursion
Favoriten