scientific article; zbMATH DE number 949397
From MaRDI portal
Publication:4716293
zbMath0922.54002MaRDI QIDQ4716293
Publication date: 25 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Scott topologyframedomain theorysemantics of programming languagespower domainsScott spacesspectral locales
Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Research exposition (monographs, survey articles) pertaining to general topology (54-02)
Related Items (21)
Chu duality theory and coalgebraic representation of quantum symmetries ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Unnamed Item ⋮ The Topology of Statistical Verifiability ⋮ Ordered locales ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Formalising basic topology for computational logic in simple type theory ⋮ Topological duality via maximal spectrum functor ⋮ Some further results on pointfree convex geometry ⋮ Fundamental results for pointfree convex geometry ⋮ Making Sense of Sense Containment ⋮ Unnamed Item ⋮ Why Categories? ⋮ Realism, rhetoric, and reliability ⋮ On the hierarchy of d-structures ⋮ Vagueness, Kant and topology: a study of formal epistemology ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic ⋮ Reasoning about distributed information with infinitely many agents
This page was built for publication:
