A Cartesian closed extension of the category of locales

Reinhold Heckmann. A Cartesian closed extension of the category of locales. Mathematical Structures in Computer Science, 16(2):231-253, 2006. [doi]

Abstract

Abstract is missing.