Christopher F. Townsend

According to our database1, Christopher F. Townsend authored at least 7 papers between 2004 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...