Keyword:bar recursion

Papers
A Direct Computational Interpretation of Second-Order Arithmetic via Update Recursion Valentin Blot EasyChair Preprint no. 8768
Computing Nash Equilibria of Unbounded Games Martin Escardo and Paulo Oliva In:Turing-100. The Alan Turing Centenary