![]() | ![]() |
2006 | ||
---|---|---|
3 | EE | Christopher 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 | ||
2 | EE | Christopher F. Townsend: Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. Electr. Notes Theor. Comput. Sci. 73: 207-211 (2004) |
1 | EE | Steven J. Vickers, Christopher F. Townsend: A universal characterization of the double powerlocale. Theor. Comput. Sci. 316(1): 297-321 (2004) |
1 | Steven J. Vickers (Steven Vickers) | [1] |