A stable universal domain related to ω

DOI10.1017/S0960129515000195zbMath1423.06023OpenAlexW2958924191MaRDI QIDQ2971120

Haoran Zhao, Hui Kou

Publication date: 4 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129515000195

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 (1)

A partial solution to an open problem of Amadio and Curien

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbb T^\omega\) as a stable universal domain.
• 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
• Coherence and consistency in domains
• Sequential algorithms and strongly stable functions
• UNIVERSAL INFORMATION SYSTEMS
• Data Types as Lattices
• Universal domains and the amalgamation property
• Continuous Lattices and Domains

This page was built for publication: A stable universal domain related to ^ω