TY - RPRT TI - Convergence and quantale-enriched categories AU - Dirk Hofmann AU - Carla Reis PY - 2017 UR - https://arxiv.org/abs/1705.08671 ID - 1705.08671 ER -