TY  - RPRT
TI  - Topology from enrichment: the curious case of partial metrics
AU  - Dirk Hofmann
AU  - Isar Stubbe
PY  - 2017
UR  - https://arxiv.org/abs/1607.02269
ID  - 1607.02269
ER  -