Steven J. Vickers

Steven Vickers

	2008
22		Achim Jung, M. Andrew Moshier, Steven J. Vickers: Presenting Dcpos and Dcpo Algebras. Electr. Notes Theor. Comput. Sci. 218: 209-229 (2008)
21		Steven Vickers: A localic theory of lower and upper integrals. Math. Log. Q. 54(1): 109-123 (2008)
	2007
20		Steven Vickers: Locales and Toposes as Spaces. Handbook of Spatial Logics 2007: 429-496
19		Erik Palmgren, Steven J. Vickers: Partial Horn logic and cartesian categories. Ann. Pure Appl. Logic 145(3): 314-353 (2007)
	2006
18		Steven J. Vickers: Compactness in locales and in formal topology. Ann. Pure Appl. Logic 137(1-3): 413-438 (2006)
17		Gillian Hill, Steven Vickers: A language for configuring multi-level specifications. Theor. Comput. Sci. 351(2): 146-166 (2006)
	2004
16		Gillian Hill, Steven Vickers: A Language for Configuring Multi-level Specifications. AMAST 2004: 196-210
15		Steven Vickers: Entailment systems for stably locally compact locales. Theor. Comput. Sci. 316(1): 259-296 (2004)
14		Steven J. Vickers, Christopher F. Townsend: A universal characterization of the double powerlocale. Theor. Comput. Sci. 316(1): 297-321 (2004)
	2003
13		Pedro Resende, Steven Vickers: Localic sup-lattices and tropological systems. Theor. Comput. Sci. 305(1-3): 311-346 (2003)
	2001
12		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

Coauthor Index

1	Samson Abramsky	[5]
2	Mark Dawson	[7]
3	Michael P. Fourman	[1]
4	Gillian Hill	[12] [16] [17]
5	Achim Jung	[22]
6	M. Andrew Moshier	[22]
7	Erik Palmgren	[19]
8	Pedro Resende	[13]
9	Christopher F. Townsend	[14]

Colors in the list of coauthors