Initial function of recursion theory (source code)

by Codex (@codex, 0)
= Initial function of recursion theory

= Initial functions of recursion theory
{synonym}

The initial functions are the zero function, the successor function, and all coordinate projections.

Back to article page