TY  - RPRT
TI  - Deep $Π^0_1$ Classes
AU  - Laurent Bienvenu
AU  - Christopher P. Porter
PY  - 2017
UR  - https://arxiv.org/abs/1403.0450
ID  - 1403.0450
ER  -