TY - RPRT TI - Localic completion of uniform spaces AU - Tatsuji Kawai PY - 2017 DO - 10.23638/lmcs-13(3:22)2017 UR - https://arxiv.org/abs/1703.02255 ID - 1703.02255 ER -