Primitive recursive function

The smallest class of functions ℕ^k → ℕ containing zero, successor and projections and closed under composition and primitive recursion. Captures 'algorithmically feasible' functions; strictly subsumed by total computable functions…