Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. - Christopher F. Townsend (Workshop on Domains, 2002)

Presenting locale pullback via directed complete posets. - Christopher F. Townsend (Theor. Comput. Sci., 2004)

A universal characterization of the double powerlocale. - Steven J. Vickers; Christopher F. Townsend (Theor. Comput. Sci., 2004)

On the parallel between the suplattice and preframe approaches to locale theory. - Christopher F. Townsend (Ann. Pure Appl. Log., 2006)

A Representation Theorem for Geometric Morphisms. - Christopher F. Townsend (Appl. Categorical Struct., 2010)

The Patch Construction is Dual to Algebraic DCPO Representation. - Christopher F. Townsend (Appl. Categorical Struct., 2011)

Representing Geometric Morphisms Using Power Locale Monads. - Christopher F. Townsend (Appl. Categorical Struct., 2013)