Coherence and consistency in domains

DOI10.1016/0022-4049(90)90055-MzbMath0686.68062OpenAlexW1983718305MaRDI QIDQ1262787

Achim Jung, Carl A. Gunter

Publication date: 1990

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(90)90055-m

zbMATH Keywords

coherencedenotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (10)

Spectral sets ⋮ Universal domains and the amalgamation property ⋮ Stone duality and representation of stable domain ⋮ A stable universal domain related to ^ω ⋮ Inheritance as implicit coercion ⋮ Universal homogeneous event structures and domains ⋮ The mixed powerdomain ⋮ Domains via graphs ⋮ Categories of embeddings ⋮ Almost Every Domain is Universal

Cites Work

• The largest Cartesian closed category of domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Universal profinite domains
• \(\mathbb{T}^\omega\) as a universal domain
• Model theory.
• Data Types as Lattices
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coherence and consistency in domains