Christopher F. Townsend

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Geometric Information

Power Distribution

Top Venues

Appl. Categorical Struct.

Publications

Christopher F. Townsend
Representing Geometric Morphisms Using Power Locale Monads. Appl. Categorical Struct. 21 (1) (2013)
Christopher F. Townsend
The Patch Construction is Dual to Algebraic DCPO Representation. Appl. Categorical Struct. 19 (1) (2011)
Christopher F. Townsend
A Representation Theorem for Geometric Morphisms. Appl. Categorical Struct. 18 (6) (2010)
Christopher F. Townsend
On the parallel between the suplattice and preframe approaches to locale theory. Ann. Pure Appl. Log. 137 (1-3) (2006)
Steven J. Vickers, Christopher F. Townsend
A universal characterization of the double powerlocale. Theor. Comput. Sci. 316 (1) (2004)
Christopher F. Townsend
Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. Electron. Notes Theor. Comput. Sci. 73 (2004)
Christopher F. Townsend
Presenting locale pullback via directed complete posets. Theor. Comput. Sci. 316 (1) (2004)