dblp.uni-trier.dewww.uni-trier.de

Steven J. Vickers Vis

Steven Vickers

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)