Primitive recursive function in intension
= Primitive recursive function in intension
= Primitive recursive functions in intension
{synonym}
A valid finite construction expression from the <initial functions of recursion theory> by <function composition in recursion theory> and <primitive recursion>. Its extension is a <primitive recursive function>. The construction grammar supplies both a decidable syntax and a total computable interpreter, but no uniformly primitive recursive interpreter for all valid codes.