TY - RPRT TI - Finite choice, convex choice and finding roots AU - Stéphane Le Roux AU - Arno Pauly PY - 2015 DO - 10.2168/lmcs-11(4:6)2015 UR - https://arxiv.org/abs/1302.0380 ID - 1302.0380 ER -