TY  - RPRT
TI  - A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem
AU  - Paulo Oliva
AU  - Silvia Steila
PY  - 2017
UR  - https://arxiv.org/abs/1607.05237
ID  - 1607.05237
ER  -