Domains via graphs

DOI10.1007/BF02943235zbMath1013.68115MaRDI QIDQ5956841

Guoqiang Zhang, Yi-Xiang Chen

Publication date: 28 February 2002

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

zbMATH Keywords

coherence spacesdomain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The largest cartesian closed category of stable domains
• Universal profinite domains
• \(\mathbb{T}^\omega\) as a universal domain
• Sequential algorithms on concrete data structures
• \(dI\)--domains as prime information systems
• Coherence and consistency in domains
• Stone duality and representation of stable domain
• Syntactic characterisations of amalgamation, convexity and related properties
• Data Types as Lattices
• Some monoidal closed categories of stable domains and event structures

This page was built for publication: Domains via graphs