@misc{indiciae5fea56a97178,
  title = {\$σ\$-locales in Formal Topology},
  author = {Francesco Ciraulo},
  year = {2022},
  doi = {10.46298/lmcs-18(1:7)2022},
  url = {https://arxiv.org/abs/1801.09644},
  note = {Source identifier: 1801.09644}
}