Reinhold Heckmann. Spatiality of countably presentable locales (proved with the Baire category theorem). Mathematical Structures in Computer Science, 25(7):1607-1625, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.