TY - RPRT TI - Approximation in quantale-enriched categories AU - Dirk Hofmann AU - Pawel Waszkiewicz PY - 2010 UR - https://arxiv.org/abs/1004.2228 ID - 1004.2228 ER -