Steven J. Vickers
According to our database^{1},
Steven J. Vickers
authored at least 33 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at id.loc.gov
On csauthors.net:
Bibliography
2019
Sketches for arithmetic universes.
J. Logic & Analysis, 2019
2017
The localic compact interval is an EscardóSimpson interval object.
Math. Log. Q., 2017
2016
Positivity relations on a locale.
Ann. Pure Appl. Logic, 2016
2014
Continuity and geometric logic.
J. Applied Logic, 2014
2013
Generalised powerlocales via relation lifting.
Mathematical Structures in Computer Science, 2013
Domain Theory in Topical Form.
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.
Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012
Generalized powerlocales via relation lifting
CoRR, 2012
Cosheaves and connectedness in formal topology.
Ann. Pure Appl. Logic, 2012
2010
Fuzzy sets and geometric logic.
Fuzzy Sets and Systems, 2010
2009
Localic completion of generalized metric spaces II: Powerlocales.
J. Logic & Analysis, 2009
2008
A localic theory of lower and upper integrals.
Math. Log. Q., 2008
Presenting Dcpos and Dcpo Algebras.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
2007
Locales and Toposes as Spaces.
Proceedings of the Handbook of Spatial Logics, 2007
Sublocales in formal topology.
J. Symb. Log., 2007
Partial Horn logic and cartesian categories.
Ann. Pure Appl. Logic, 2007
2006
A language for configuring multilevel specifications.
Theor. Comput. Sci., 2006
Compactness in locales and in formal topology.
Ann. Pure Appl. Logic, 2006
2004
A universal characterization of the double powerlocale.
Theor. Comput. Sci., 2004
Entailment systems for stably locally compact locales.
Theor. Comput. Sci., 2004
2003
Localic suplattices and tropological systems.
Theor. Comput. Sci., 2003
2001
Strongly algebraic = SFP (topically).
Mathematical Structures in Computer Science, 2001
Presheaves as Configured Specifications.
Formal Asp. Comput., 2001
1999
Topical categories of domains.
Mathematical Structures in Computer Science, 1999
1994
Geometric logic as a Specification Language.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994
Locales are Not Pointless.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994
Towards a GeoZ Toolkit.
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.
Theor. Comput. Sci., 1993
Quantales, Observational Logic and Process Semantics.
Mathematical Structures in Computer Science, 1993
Geometric Logic in Computer Science.
Proceedings of the Theory and Formal Methods 1993, 1993
1987
An Algorithmic Approach to the padic Integers.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987
A Fixpoint Construction of the padic Domain.
Proceedings of the Category Theory and Computer Science, 1987
1985
Theories as Categories.
Proceedings of the Category Theory and Computer Programming, 1985