Steven Vickers

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 4

Top Topics

Causal Relations

Sketch Based Image Retrieval

Top Venues

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Publications

Ming Ng, Steven Vickers
Point-free Construction of Real Exponentiation. Log. Methods Comput. Sci. 18 (3) (2022)
Steven Vickers
Sketches for arithmetic universes. J. Log. Anal. 11 (2019)
Steven Vickers
The localic compact interval is an Escardó-Simpson interval object. Math. Log. Q. 63 (6) (2017)
Francesco Ciraulo, Steven Vickers
Positivity relations on a locale. Ann. Pure Appl. Log. 167 (9) (2016)
Steven Vickers
Continuity and geometric logic. J. Appl. Log. 12 (1) (2014)
Bas Spitters, Steven Vickers, Sander Wolters
Gelfand spectra in Grothendieck toposes using geometric mathematics. QPL (2012)
Steven Vickers
Cosheaves and connectedness in formal topology. Ann. Pure Appl. Log. 163 (2) (2012)
Bertfried Fauser, Guillaume Raynaud, Steven Vickers
The Born rule as structure of spectral bundles (extended abstract). QPL (2011)
Steven Vickers
Fuzzy sets and geometric logic. Fuzzy Sets Syst. 161 (9) (2010)
Steven Vickers
Localic completion of generalized metric spaces II: Powerlocales. J. Log. Anal. 1 (2009)
Steven Vickers
A localic theory of lower and upper integrals. Math. Log. Q. 54 (1) (2008)
Steven Vickers
Sublocales in formal topology. J. Symb. Log. 72 (2) (2007)
Gillian Hill, Steven Vickers
A language for configuring multi-level specifications. Theor. Comput. Sci. 351 (2) (2006)
Steven Vickers
Entailment systems for stably locally compact locales. Theor. Comput. Sci. 316 (1) (2004)
Gillian Hill, Steven Vickers
A Language for Configuring Multi-level Specifications. AMAST (2004)
Pedro Resende, Steven Vickers
Localic sup-lattices and tropological systems. Theor. Comput. Sci. 305 (1-3) (2003)
Steven Vickers
Strongly algebraic = SFP (topically). Math. Struct. Comput. Sci. 11 (6) (2001)
Steven Vickers, Gillian Hill
Presheaves as Configured Specifications. Formal Aspects Comput. 13 (1) (2001)
Steven Vickers
Topical categories of domains. Math. Struct. Comput. Sci. 9 (5) (1999)
Steven Vickers
Locales are Not Pointless. Theory and Formal Methods (1994)
Mark Dawson, Steven Vickers
Towards a GeoZ Toolkit. Theory and Formal Methods (1994)
Steven Vickers
Geometric logic as a Specification Language. Theory and Formal Methods (1994)
Steven Vickers
Geometric Logic in Computer Science. Theory and Formal Methods (1993)
Samson Abramsky, Steven Vickers
Quantales, Observational Logic and Process Semantics. Math. Struct. Comput. Sci. 3 (2) (1993)
Steven Vickers
Information Systems for Continuous Posets. Theor. Comput. Sci. 114 (2) (1993)
Steven Vickers
A Fixpoint Construction of the p-adic Domain. Category Theory and Computer Science (1987)
Steven Vickers
An Algorithmic Approach to the p-adic Integers. MFPS (1987)
Michael P. Fourman, Steven Vickers
Theories as Categories. CTCS (1985)