TY  - RPRT
TI  - Searching for an analogue of ATR in the Weihrauch lattice
AU  - Takayuki Kihara
AU  - Alberto Marcone
AU  - Arno Pauly
PY  - 2020
DO  - 10.1017/jsl.2021.10
UR  - https://arxiv.org/abs/1812.01549
ID  - 1812.01549
ER  -