Theories as Categories. - Michael P. Fourman; Steven Vickers (CTCS, 1985)

A Fixpoint Construction of the p-adic Domain. - Steven Vickers (Category Theory and Computer Science, 1987)

An Algorithmic Approach to the p-adic Integers. - Steven Vickers (MFPS, 1987)

Geometric Logic in Computer Science. - Steven Vickers (Theory and Formal Methods, 1993)

Quantales, Observational Logic and Process Semantics. - Samson Abramsky; Steven Vickers (Math. Struct. Comput. Sci., 1993)

Information Systems for Continuous Posets. - Steven Vickers (Theor. Comput. Sci., 1993)

Towards a GeoZ Toolkit. - Mark Dawson 001; Steven Vickers (Theory and Formal Methods, 1994)

Locales are Not Pointless. - Steven Vickers (Theory and Formal Methods, 1994)

Geometric logic as a Specification Language. - Steven Vickers (Theory and Formal Methods, 1994)

Topical categories of domains. - Steven Vickers (Math. Struct. Comput. Sci., 1999)

Presheaves as Configured Specifications. - Steven Vickers; Gillian Hill (Formal Aspects Comput., 2001)

Strongly algebraic = SFP (topically). - Steven Vickers (Math. Struct. Comput. Sci., 2001)

Localic sup-lattices and tropological systems. - Pedro Resende; Steven Vickers (Theor. Comput. Sci., 2003)

Entailment systems for stably locally compact locales. - Steven Vickers (Theor. Comput. Sci., 2004)

A universal characterization of the double powerlocale. - Steven J. Vickers; Christopher F. Townsend (Theor. Comput. Sci., 2004)

Compactness in locales and in formal topology. - Steven J. Vickers (Ann. Pure Appl. Log., 2006)

A language for configuring multi-level specifications. - Gillian Hill; Steven Vickers (Theor. Comput. Sci., 2006)

Partial Horn logic and cartesian categories. - Erik Palmgren; Steven J. Vickers (Ann. Pure Appl. Log., 2007)

Sublocales in formal topology. - Steven Vickers (J. Symb. Log., 2007)

Locales and Toposes as Spaces. - Steven Vickers (Handbook of Spatial Logics, 2007)

Presenting Dcpos and Dcpo Algebras. - Achim Jung; M. Andrew Moshier; Steven J. Vickers (MFPS, 2008)

A localic theory of lower and upper integrals. - Steven Vickers (Math. Log. Q., 2008)

Localic completion of generalized metric spaces II: Powerlocales. - Steven Vickers (J. Log. Anal., 2009)

Fuzzy sets and geometric logic. - Steven Vickers (Fuzzy Sets Syst., 2010)

The Born rule as structure of spectral bundles (extended abstract). - Bertfried Fauser; Guillaume Raynaud; Steven Vickers (QPL, 2011)

Cosheaves and connectedness in formal topology. - Steven Vickers (Ann. Pure Appl. Log., 2012)

Generalized powerlocales via relation lifting - Yde Venema; Steve Vickers; Jacob Vosmaer (CoRR, 2012)

Gelfand spectra in Grothendieck toposes using geometric mathematics. - Bas Spitters; Steven Vickers; Sander Wolters (QPL, 2012)

Domain Theory in Topical Form. - Steve Vickers (Computation, Logic, Games, and Quantum Foundations, 2013)

Generalised powerlocales via relation lifting. - Yde Venema; Steve Vickers; Jacob Vosmaer (Math. Struct. Comput. Sci., 2013)

Continuity and geometric logic. - Steven Vickers (J. Appl. Log., 2014)

Positivity relations on a locale. - Francesco Ciraulo; Steven Vickers (Ann. Pure Appl. Log., 2016)

The localic compact interval is an Escardó-Simpson interval object. - Steven Vickers (Math. Log. Q., 2017)

Sketches for arithmetic universes. - Steven Vickers (J. Log. Anal., 2019)

Point-free Construction of Real Exponentiation. - Ming Ng; Steven Vickers (Log. Methods Comput. Sci., 2022)

A point-free look at Ostrowski's theorem and absolute values. - Ming Ng; Steven Vickers (J. Log. Anal., 2025)