TY  - RPRT
TI  - Infinite Oracle Queries in Type-2 Machines (Extended Abstract)
AU  - Arno Pauly
PY  - 2009
UR  - https://arxiv.org/abs/0907.3230
ID  - 0907.3230
ER  -