Steven Vickers

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