Geometric and higher order logic in terms of abstract Stone duality. Taylor, Paul — 2000 Theory and Applications of Categories [electronic only]
Sober spaces and continuations. Taylor, Paul — 2002 Theory and Applications of Categories [electronic only]
Subspaces in abstract Stone duality. Taylor, Paul — 2002 Theory and Applications of Categories [electronic only]