Steven J. Vickers

According to our database, Steven J. Vickers authored at least 35 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Point-free Construction of Real Exponentiation.

Ming Ng, Steven Vickers

Log. Methods Comput. Sci., 2022

2019

Sketches for arithmetic universes.

Steven Vickers

J. Log. Anal., 2019

2017

The localic compact interval is an Escardó-Simpson interval object.

Steven Vickers

Math. Log. Q., 2017

2016

Positivity relations on a locale.

Francesco Ciraulo, Steven Vickers

Ann. Pure Appl. Log., 2016

2014

Continuity and geometric logic.

Steven Vickers

J. Appl. Log., 2014

2013

Generalised powerlocales via relation lifting.

Yde Venema, Steve Vickers, Jacob Vosmaer

Math. Struct. Comput. Sci., 2013

Domain Theory in Topical Form.

Steve Vickers

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Gelfand spectra in Grothendieck toposes using geometric mathematics.

Bas Spitters, Steven Vickers, Sander Wolters

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Generalized powerlocales via relation lifting

Yde Venema, Steve Vickers, Jacob Vosmaer

CoRR, 2012

Cosheaves and connectedness in formal topology.

Steven Vickers

Ann. Pure Appl. Log., 2012

2011

The Born rule as structure of spectral bundles (extended abstract).

Bertfried Fauser, Guillaume Raynaud, Steven Vickers

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

2010

Fuzzy sets and geometric logic.

Steven Vickers

Fuzzy Sets Syst., 2010

2009

Localic completion of generalized metric spaces II: Powerlocales.

Steven Vickers

J. Log. Anal., 2009

2008

A localic theory of lower and upper integrals.

Steven Vickers

Math. Log. Q., 2008

Presenting Dcpos and Dcpo Algebras.

Achim Jung, M. Andrew Moshier, Steven J. Vickers

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Locales and Toposes as Spaces.

Steven Vickers

Proceedings of the Handbook of Spatial Logics, 2007

Sublocales in formal topology.

Steven Vickers

J. Symb. Log., 2007

Partial Horn logic and cartesian categories.

Erik Palmgren, Steven J. Vickers

Ann. Pure Appl. Log., 2007

2006

A language for configuring multi-level specifications.

Gillian Hill, Steven Vickers

Theor. Comput. Sci., 2006

Compactness in locales and in formal topology.

Steven J. Vickers

Ann. Pure Appl. Log., 2006

2004

A universal characterization of the double powerlocale.

Steven J. Vickers, Christopher F. Townsend

Theor. Comput. Sci., 2004

Entailment systems for stably locally compact locales.

Steven Vickers

Theor. Comput. Sci., 2004

2003

Localic sup-lattices and tropological systems.

Pedro Resende, Steven Vickers

Theor. Comput. Sci., 2003

2001

Strongly algebraic = SFP (topically).

Steven Vickers

Math. Struct. Comput. Sci., 2001

Presheaves as Configured Specifications.

Steven Vickers, Gillian Hill

Formal Aspects Comput., 2001

1999

Topical categories of domains.

Steven Vickers

Math. Struct. Comput. Sci., 1999

1994

Geometric logic as a Specification Language.

Steven Vickers

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Locales are Not Pointless.

Steven Vickers

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Towards a GeoZ Toolkit.

Mark Dawson, Steven Vickers

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

Information Systems for Continuous Posets.

Steven Vickers

Theor. Comput. Sci., 1993

Quantales, Observational Logic and Process Semantics.

Samson Abramsky, Steven Vickers

Math. Struct. Comput. Sci., 1993

Geometric Logic in Computer Science.

Steven Vickers

Proceedings of the Theory and Formal Methods 1993, 1993

1987

An Algorithmic Approach to the p-adic Integers.

Steven Vickers

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

A Fixpoint Construction of the p-adic Domain.

Steven Vickers

Proceedings of the Category Theory and Computer Science, 1987

1985

Theories as Categories.

Michael P. Fourman, Steven Vickers

Proceedings of the Category Theory and Computer Programming, 1985