TY  - RPRT
TI  - Bar Recursion and Products of Selection Functions
AU  - Martin Escardo
AU  - Paulo Oliva
PY  - 2014
UR  - https://arxiv.org/abs/1407.7046
ID  - 1407.7046
ER  -