TY - RPRT TI - McShane-Whitney extensions in constructive analysis AU - Iosif Petrakis PY - 2020 DO - 10.23638/lmcs-16(1:18)2020 UR - https://arxiv.org/abs/1804.06757 ID - 1804.06757 ER -