Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Townsend, Christopher
Under consideration for publication. 1 A categorical account of the Hofmann-Mislove theorem
Localic Priestley Duality Christopher F. Townsend
PROCEEDINGS Volume 29, No.2, 2005
A representation theorem for geometric Christopher F. Townsend
AN AXIOMATIC ACCOUNT OF WEAK TRIQUOTIENT ASSIGNMENTS IN LOCALE THEORY
Aspects of slice stability in Locale Theory C. F. Townsend
A categorical account of the localic closed subgroup theorem Christopher Townsend
A CATEGORICAL PROOF OF THE EQUIVALENCE OF LOCAL COMPACTNESS AND EXPONENTIABILITY IN LOCALE
AXIOMATIC CHARACTERIZATION OF THE CATEGORY OF CHRISTOPHER TOWNSEND
To Appear: Theoretical Computer Science (2003). Guest editors Birkedal, Escardo, Jung and Rosolini.
On the Parallel between the Suplattice and Preframe approaches to Locale Theory
A Generalized Coverage Theorem Christopher Townsend
Hausdorff Systems Christopher Townsend
The patch construction is dual to algebraic dcpo representation
An Axiomatic account of Weak Localic Triquotient Assignments DRAFT
A LOCALIC PROOF OF THE LOCALIC GROUPOID REPRESENTATION OF GROTHENDIECK TOPOSES
