| 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 |
