Continuous Domain Theory in Logical Form

DOI10.1007/978-3-642-38164-5_12zbMath1264.68106OpenAlexW2156304820MaRDI QIDQ4922080

Achim Jung

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_12

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (8)

Consistent disjunctive sequent calculi and Scott domains ⋮ A duality theoretic view on limits of finite structures ⋮ Unnamed Item ⋮ A logic for Lawson compact algebraic L-domains ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Continuous L-domains in logical form ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ Bounded complete domains and their logical form

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A bitopological point-free approach to compactifications
• The largest Cartesian closed category of domains
• Effectively given domains
• CPO's of measures for nondeterminism
• Domain theory in logical form
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Bisimulation for labelled Markov processes
• Continuous domains in logical form
• A domain equation for bisimulation
• Stable Compactification I
• Continuous Lattices and Domains
• Stably Compact Spaces and Closed Relations
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras

This page was built for publication: Continuous Domain Theory in Logical Form