TY  - RPRT
TI  - Weihrauch-completeness for layerwise computability
AU  - Arno Pauly
AU  - Willem Fouché
AU  - George Davie
PY  - 2018
DO  - 10.23638/lmcs-14(2:11)2018
UR  - https://arxiv.org/abs/1505.02091
ID  - 1505.02091
ER  -