11 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Arno Pauly
We define Oracle-Type-2-Machine capable of writing infinite oracle queries. In contrast to finite oracle queries, this extends the realm of oracle-computable functions into the dis…