Geometric and higher order logic in terms of abstract Stone duality. Taylor, Paul (2000) Theory and Applications of Categories [electronic only]