We stand with Ukraine  

Christopher F. Townsend

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Representing Geometric Morphisms Using Power Locale Monads.
[BibTeX]
[DOI]
Christopher F. Townsend
Appl. Categorical Struct., 2013

2011
The Patch Construction is Dual to Algebraic DCPO Representation.
[BibTeX]
[DOI]
Christopher F. Townsend
Appl. Categorical Struct., 2011

2010
A Representation Theorem for Geometric Morphisms.
[BibTeX]
[DOI]
Christopher F. Townsend
Appl. Categorical Struct., 2010

2006
On the parallel between the suplattice and preframe approaches to locale theory.
[BibTeX]
[DOI]
Christopher F. Townsend
Ann. Pure Appl. Log., 2006

2004
A universal characterization of the double powerlocale.
[BibTeX]
[DOI]
Steven J. Vickers
,
Christopher F. Townsend
Theor. Comput. Sci., 2004

Presenting locale pullback via directed complete posets.
[BibTeX]
[DOI]
Christopher F. Townsend
Theor. Comput. Sci., 2004

2002
Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract.
[BibTeX]
[DOI]
Christopher F. Townsend
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002


  Loading...