TY  - RPRT
TI  - Overlap Algebras as Almost Discrete Locales
AU  - Francesco Ciraulo
PY  - 2023
DO  - 10.46298/lmcs-19(4:21)2023
UR  - https://arxiv.org/abs/1601.04830
ID  - 1601.04830
ER  -