# Christopher F. Townsend

According to our database

Collaborative distances:

^{1}, Christopher F. Townsend authored at least 7 papers between 2004 and 2013.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2013

Representing Geometric Morphisms Using Power Locale Monads.

Applied Categorical Structures, 2013

2011

The Patch Construction is Dual to Algebraic DCPO Representation.

Applied Categorical Structures, 2011

2010

A Representation Theorem for Geometric Morphisms.

Applied Categorical Structures, 2010

2006

On the parallel between the suplattice and preframe approaches to locale theory.

Ann. Pure Appl. Log., 2006

2004

A universal characterization of the double powerlocale.

Theor. Comput. Sci., 2004

Presenting locale pullback via directed complete posets.

Theor. Comput. Sci., 2004

Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract.

Electron. Notes Theor. Comput. Sci., 2004