Keyword:bar recursion

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