Reinhold Heckmann. A Cartesian Closed Extension of the Category of Locales. In Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster, editors, Spatial Representation: Discrete vs. Continuous Computational Models. Volume 04351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
Abstract is missing.