Steven J. Vickers

According to our database1, Steven J. Vickers authored at least 33 papers between 1985 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Sketches for arithmetic universes.
J. Log. Anal., 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. Log., 2016

2014
Continuity and geometric logic.
J. Appl. Log., 2014

2013
Generalised powerlocales via relation lifting.
Math. Struct. Comput. Sci., 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. Log., 2012

2010
Fuzzy sets and geometric logic.
Fuzzy Sets Syst., 2010

2009
Localic completion of generalized metric spaces II: Powerlocales.
J. Log. Anal., 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. Log., 2007

2006
A language for configuring multi-level specifications.
Theor. Comput. Sci., 2006

Compactness in locales and in formal topology.
Ann. Pure Appl. Log., 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 sup-lattices and tropological systems.
Theor. Comput. Sci., 2003

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

Presheaves as Configured Specifications.
Formal Aspects Comput., 2001

1999
Topical categories of domains.
Math. Struct. Comput. Sci., 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.
Math. Struct. Comput. Sci., 1993

Geometric Logic in Computer Science.
Proceedings of the Theory and Formal Methods 1993, 1993

1987
An Algorithmic Approach to the p-adic Integers.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

A Fixpoint Construction of the p-adic Domain.
Proceedings of the Category Theory and Computer Science, 1987

1985
Theories as Categories.
Proceedings of the Category Theory and Computer Programming, 1985


  Loading...