dblp.uni-trier.dewww.uni-trier.de

Christopher F. Townsend

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEChristopher F. Townsend: On the parallel between the suplattice and preframe approaches to locale theory. Ann. Pure Appl. Logic 137(1-3): 391-412 (2006)
2004
2EEChristopher F. Townsend: Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. Electr. Notes Theor. Comput. Sci. 73: 207-211 (2004)
1EESteven J. Vickers, Christopher F. Townsend: A universal characterization of the double powerlocale. Theor. Comput. Sci. 316(1): 297-321 (2004)

Coauthor Index

1Steven J. Vickers (Steven Vickers) [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)