Steven J. Vickers

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Achim Jung, M. Andrew Moshier, Steven J. Vickers
Presenting Dcpos and Dcpo Algebras. MFPS (2008)
Erik Palmgren, Steven J. Vickers
Partial Horn logic and cartesian categories. Ann. Pure Appl. Log. 145 (3) (2007)
Steven J. Vickers
Compactness in locales and in formal topology. Ann. Pure Appl. Log. 137 (1-3) (2006)
Steven J. Vickers, Christopher F. Townsend
A universal characterization of the double powerlocale. Theor. Comput. Sci. 316 (1) (2004)