\(\mathbb T^\omega\) as a stable universal domain.

DOI10.1016/j.entcs.2014.01.016zbMath1341.06014OpenAlexW2016969862WikidataQ113317906 ScholiaQ113317906MaRDI QIDQ276416

Haoran Zhao, Hui Kou

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.01.016

zbMATH Keywords

Cartesian closed categoriesstable semantics\(\omega\)CCDI-domainsstable retractsuniversal domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (2)

A stable universal domain related to ^ω ⋮ A topology on lattice-ordered groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The largest cartesian closed category of stable domains
• A logical approach to stable domains
• An algebraic approach to stable domains
• \(\mathbb{T}^\omega\) as a universal domain
• \(dI\)--domains as prime information systems
• Sequential algorithms and strongly stable functions
• Universal domains and the amalgamation property
• Continuous Lattices and Domains

This page was built for publication: \(\mathbb T^\omega\) as a stable universal domain.