- An induction principle for consequence in arithmetic universes
- Issues of logic, algebra and topology in ontology Steven Vickers
- LOCALES ARE NOT POINTLESS STEVEN VICKERS
- Topology via Constructive Logic By STEVEN VICKERS
- GEOMETRIC LOGIC AS A SPECIFICATION LANGUAGE STEVEN VICKERS
- Compactness in locales and in formal topology Steven Vickers
- Research Report DoC97/2 Department of Computing,
- GEOMETRIC LOGIC AS A SPECIFICATION LANGUAGE STEVEN VICKERS
- Geometric Logic in Computer Science Steve Vickers
- Entailment systems for stably locally compact Steven Vickers
- University of London Imperial College of Science, Technology and Medicine
- TOWARDS A GeoZ TOOLKIT MARK DAWSON and STEVEN VICKERS
- Localic suplattices and tropological systems 1 Pedro Resende
- Under consideration for publication in Formal Aspects of Computing Presheaves as Con gured
- Math. Struct. in Comp. Science (1995), vol. 11, pp. 1--000. Printed in the United Kingdom fl 1995 Cambridge University Press
- INFORMATION SYSTEMS FOR CONTINUOUS Steven Vickers,
- Toposes pour les nuls Steve Vickers
- Topos Investigations of the Extended Priestley Duality Kostas Viglas
- The connected Vietoris powerlocale Steven Vickers
- Page 1 of 37 Talk given at 29th Linz Seminar on Fuzzy Set Theory, 14 Feb 2008
- GENERALIZED POWERLOCALES VIA RELATION LIFTING YDE VENEMA, STEVE VICKERS, AND JACOB VOSMAER
- Fuzzy sets and geometric logic Steven Vickers
- Sublocales in formal topology Steven Vickers
- Some constructive roads to Tychonoff Steven Vickers
- Entailment systems for stably locally compact Steven Vickers
- A Universal Characterization of the Double Powerlocale
- Localic sup-lattices and tropological systems 1 Pedro Resende
- Math. Struct. in Comp. Science (1995), vol. 11, pp. 1{000. Printed in the United Kingdom c 1995 Cambridge University Press
- Toposes pour les vraiment nuls Steven Vickers
- LOCALES ARE NOT POINTLESS STEVEN VICKERS
- TOWARDS A GeoZ TOOLKIT MARK DAWSON and STEVEN VICKERS
- Partial Horn logic and cartesian categories E. Palmgren
- Accepted for publication in Math. Struct. in Comp. Science Strongly Algebraic = SFP (Topically)
- pp. 193-212 in A. Carboni, M.C. Pedicchio and G. Rosolini (eds) Category Theory (Proceedings, Como 1990), Springer Lecture Notes in Mathematics 1488, 1991.
- Localic completion of generalized metric spaces II: Powerlocales
- LOCALES AND TOPOSES AS SPACES Steven Vickers
- Geometric Logic in Computer Science Steve Vickers
- !"#$%&'#()*#%&+,&-./0)#1(&'*+1,*1 (1993), 2.3%&45&00%&161-227 QUANTALES, OBSERVATIONAL LOGIC AND PROCESS
- A Language for Configuring Multilevel Specifications
- University of London Imperial College of Science, Technology and Medicine
- Constructive points of Powerlocales Steven Vickers
- A localic theory of lower and upper integrals Steven Vickers
- Cosheaves and connectedness in formal topology (to appear in Annals of Pure and Applied
- Toposes pour les vraiment nuls Steven Vickers
- A monad of valuation locales Steven Vickers
- Continuity is Geometricity Steven Vickers
- Reasoned Programming Krysia Broda Susan Eisenbach Hessam Khoshnevisan
