TY  - RPRT
TI  - Presenting quotient locales
AU  - Graham Manuell
PY  - 2023
DO  - 10.1007/s10485-023-09736-x
UR  - https://arxiv.org/abs/2207.05116
ID  - 2207.05116
ER  -