CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Selection functions, bar recursion and backward induction
Mathematical Structures in Computer Science
Computational interpretations of analysis via products of selection functions
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Hi-index | 0.00 |
This paper studies modified bar recursion, a higher type recursion scheme, which has been used in Berardi et al. (1998) and Berger and Oliva (2005) for a realisability interpretation of classical analysis. A complete clarification of its relation to Spector's and Kohlenbach's bar recursion, the fan functional, Gandy's functional $\Gamma$ and Kleene's notion of S1–S9 computability is given.