Статья

Escardó, Martín.
Bar recursion and products of selection functions / M. Escardó, P. Oliva // The Journal of Symbolic Logic. – 2015. – Vol.80, № 1. – P. 1-28.