 Vickers' main interest lies within geometric logic.His book "Topology via Logic" introduces topology from the point of view of some computational insights developed by Samson Abramsky and Mike Smyth.It stresses the point-free approach and can be understood as dealing with theories in the so-called geometric logic, which was already known from topos theory and is a more stringent form of intuitionistic logic.