Domains via graphs

DOI10.1007/BF02943235MaRDI QIDQ5956841zbMATH OpenFDO

Authors Yixiang Chen, Guoqiang Zhang

Publication date 28 February 2002

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

domain theorycoherence spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Universal homogeneous graph-like structures and domains
• A convenient category of domains
• scientific article; zbMATH DE number 3940731
• Building domains from graph models
• Concrete domains

Cites work

• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• Coherence and consistency in domains
• Data Types as Lattices
• Linear logic
• Sequential algorithms on concrete data structures
• Some monoidal closed categories of stable domains and event structures
• Stone duality and representation of stable domain
• Syntactic characterisations of amalgamation, convexity and related properties
• The largest cartesian closed category of stable domains
• Universal profinite domains
• \(\mathbb{T}^\omega\) as a universal domain
• \(dI\)--domains as prime information systems

Cited in

(4)

• scientific article; zbMATH DE number 1183248 (Why is no real title available?)
• A decomposition theorem for domains
• Universal homogeneous graph-like structures and domains
• A convenient category of domains

This page was built for publication: Domains via graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956841)