MathDB1 problem
- 0 votes0 replies1 view
Closure of the bar recursive program on fragments of System T
The paper considers a bar recursive program associated with a binary relation and its derivational complexity, with the relevant functionals and moduli defined in fragments of Syst…