Publication:4870815
From MaRDI portal
zbMath0846.18003MaRDI QIDQ4870815
Publication date: 22 September 1996
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
18B25: Topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
Related Items
Continuity and geometric logic, Cosheaves and connectedness in formal topology, Fuzzy sets and geometric logic, The connected Vietoris powerlocale, Properly injective spaces and function spaces, Localic sup-lattices and tropological systems., A universal characterization of the double powerlocale, Stably locally compact locales are dual to continuous posets, Pitts monads and a lax descent theorem, On the parallel between the suplattice and preframe approaches to locale theory, Compactness in locales and in formal topology, Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting