TY  - RPRT
TI  - Factorization of the Shoenfield-like bounded functional interpretation
AU  - Jaime Gaspar
PY  - 2010
DO  - 10.1215/00294527-2008-027
UR  - https://arxiv.org/abs/1009.1868
ID  - 1009.1868
ER  -