scientific article; zbMATH DE number 949397

MaRDI QIDQ4716293zbMATHFDO

Authors Steven Vickers

Publication date 25 November 1996

zbMATH Keywords

framedomain theoryScott topologysemantics of programming languagespower domainsScott spacesspectral locales

Mathematics Subject Classification ID

Frames, locales (06D22) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Continuous lattices and posets, applications (06B35) Categorical methods in general topology (54B30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 41225
• Frames: topology without points.
• Frames and Locales
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 2156379

Cited in

(29)

• Chu duality theory and coalgebraic representation of quantum symmetries
• Reasoning about distributed information with infinitely many agents
• Frames and grids
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• On the solvability of inductive problems: a study in epistemic topology
• The properties of \(\models\)-filters of a topological system
• Formalising basic topology for computational logic in simple type theory
• Ordered locales
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Deriving inverse operators for modal logic
• Vagueness, Kant and topology: a study of formal epistemology
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• The topology of statistical verifiability
• Topological duality via maximal spectrum functor
• Why categories?
• Logic, topology, and integration
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• Some further results on pointfree convex geometry
• scientific article; zbMATH DE number 7121950 (Why is no real title available?)
• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• Realism, rhetoric, and reliability
• On the hierarchy of d-structures
• Making sense of sense containment
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Fundamental results for pointfree convex geometry
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• The canonical topology on a meet-semilattice
• Frames: topology without points.
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4716293)