The double powerlocale and exponentiation: A case study in geometric logic. Vickers, Steven — 2004 Theory and Applications of Categories [electronic only]
Localic completion of generalized metric spaces I. Vickers, Steven — 2005 Theory and Applications of Categories [electronic only]