2008 |
22 | EE | Achim Jung,
M. Andrew Moshier,
Steven J. Vickers:
Presenting Dcpos and Dcpo Algebras.
Electr. Notes Theor. Comput. Sci. 218: 209-229 (2008) |
21 | EE | Steven Vickers:
A localic theory of lower and upper integrals.
Math. Log. Q. 54(1): 109-123 (2008) |
2007 |
20 | EE | Steven Vickers:
Locales and Toposes as Spaces.
Handbook of Spatial Logics 2007: 429-496 |
19 | EE | Erik Palmgren,
Steven J. Vickers:
Partial Horn logic and cartesian categories.
Ann. Pure Appl. Logic 145(3): 314-353 (2007) |
2006 |
18 | EE | Steven J. Vickers:
Compactness in locales and in formal topology.
Ann. Pure Appl. Logic 137(1-3): 413-438 (2006) |
17 | EE | Gillian Hill,
Steven Vickers:
A language for configuring multi-level specifications.
Theor. Comput. Sci. 351(2): 146-166 (2006) |
2004 |
16 | EE | Gillian Hill,
Steven Vickers:
A Language for Configuring Multi-level Specifications.
AMAST 2004: 196-210 |
15 | EE | Steven Vickers:
Entailment systems for stably locally compact locales.
Theor. Comput. Sci. 316(1): 259-296 (2004) |
14 | EE | Steven J. Vickers,
Christopher F. Townsend:
A universal characterization of the double powerlocale.
Theor. Comput. Sci. 316(1): 297-321 (2004) |
2003 |
13 | EE | Pedro Resende,
Steven Vickers:
Localic sup-lattices and tropological systems.
Theor. Comput. Sci. 305(1-3): 311-346 (2003) |
2001 |
12 | EE | Steven Vickers,
Gillian Hill:
Presheaves as Configured Specifications.
Formal Asp. Comput. 13(1): 32-49 (2001) |
11 | | Steven Vickers:
Strongly algebraic = SFP (topically).
Mathematical Structures in Computer Science 11(6): 717-742 (2001) |
1999 |
10 | | Steven Vickers:
Topical categories of domains.
Mathematical Structures in Computer Science 9(5): 569-616 (1999) |
1994 |
9 | | Steven Vickers:
Locales are Not Pointless.
Theory and Formal Methods 1994: 199-216 |
8 | | Steven Vickers:
Geometric logic as a Specification Language.
Theory and Formal Methods 1994: 321-340 |
7 | | Mark Dawson,
Steven Vickers:
Towards a GeoZ Toolkit.
Theory and Formal Methods 1994: 365-380 |
1993 |
6 | | Steven Vickers:
Geometric Logic in Computer Science.
Theory and Formal Methods 1993: 37-54 |
5 | | Samson Abramsky,
Steven Vickers:
Quantales, Observational Logic and Process Semantics.
Mathematical Structures in Computer Science 3(2): 161-227 (1993) |
4 | | Steven Vickers:
Information Systems for Continuous Posets.
Theor. Comput. Sci. 114(2): 201-229 (1993) |
1987 |
3 | | Steven Vickers:
A Fixpoint Construction of the p-adic Domain.
Category Theory and Computer Science 1987: 270-289 |
2 | | Steven Vickers:
An Algorithmic Approach to the p-adic Integers.
MFPS 1987: 599-615 |
1985 |
1 | | Michael P. Fourman,
Steven Vickers:
Theories as Categories.
CTCS 1985: 434-448 |