ePrints Repository

Browse by Author/Editor

 Up a level
 Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSOAI-ORE Resource Map (Atom Format)OAI-ORE Resource Map (RDF Format)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLRefWorksReferReference Manager
Group by: Type of Work | No Grouping
Number of items: 11.

Article

Hill, Gillian and Vickers, Steven (2005) A Language for Configuring Multi-level Specifications. Theoretical Computer Science, 351. pp. 146-166. ISSN 0304-3975

Vickers, Steven and Townsend, C.F (2004) A Universal Characterization of the Double Powerlocale. Theoretical Computer Science, 316 (1-3). pp. 297-321. ISSN 0304-3975

Vickers, Steven (2008) A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54 (4). pp. 109-123. ISSN 0942-5616

Vickers, Steven (2005) Compactness in locales and in formal topology. Annals of Pure and Applied Logic, 137 (1-3). pp. 413-438. ISSN 0168-0072

Vickers, Steven (2004) Entailment systems for stably locally compact locales. Theoretical Computer Science, 316 (1-3). pp. 259-296. ISSN 0304-3975

Vickers, Steven (2005) LOCALIC COMPLETION OF GENERALIZED METRIC SPACES I. Theory and Applications of Categories, 14 (15). pp. 328-356. ISSN 1201 - 561X

Palmgren, E and Vickers, Steven (2006) Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 143 (3). pp. 314-353. ISSN 0168-0072

Jung, Achim and Moshier, M.Andrew and Vickers, Steven (2008) Presenting dcpos and dcpo algebras. Electronic Notes in Theoretical Computer Science, 219. pp. 209-229. ISSN 1571-0661

Vickers, Steven (2007) Sublocales in formal topology. Journal of Symbolic Logic, 72 (2). pp. 463-482. ISSN 0022-4812

Vickers, Steven (2009) The connected Vietoris powerlocale. Topology and its Applications, 156. pp. 1886-1910. ISSN 0166-8641

Vickers, Steven (2004) The double powerlocale and exponentiation: A case study in geometric logic. Theory and Applications of Categories, 12 (13). pp. 272-422. ISSN 1201-561X

This list was generated on Thu Mar 22 01:13:28 2018 GMT.