The double powerlocale and exponentiation: A case study in geometric logic. Vickers, Steven (2004) Theory and Applications of Categories [electronic only]
Topological properties of the real numbers object in a topos Lawrence Neff Stout (1976) Cahiers de Topologie et Géométrie Différentielle Catégoriques