In this section we describe the theory of computable functionals \(\mathrm {TCF}\) .
For all notions and results on \(\mathrm {TCF}\)  that are used here without further explanation or proof, we refer
to [1]}.
