TY  - RPRT
TI  - A Hofmann-Mislove theorem for approach spaces
AU  - Junche Yu
AU  - Dexue Zhang
PY  - 2022
UR  - https://arxiv.org/abs/2111.02665
ID  - 2111.02665
ER  -