(Q1570472)

English

primitive recursive function

function that can be computed with loops of bounded length

  • primitive recursion

Statements

Identifiers