Domain Equations Based on Sets with Families of Pre-orders

DOI10.1016/j.entcs.2009.11.029zbMath1344.06004OpenAlexW1975181679MaRDI QIDQ2994482

Lei Fan, Li-Gang Wu

Publication date: 1 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

fixed pointsfinal coalgebradomain equations\(\mathcal R\)-posetspre-order families

Mathematics Subject Classification ID

Partial orders, general (06A06) Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Generalizations of ordered sets (06A75)

Cites Work

• Elements of generalized ultrametric domain theory
• Topology, domain theory and theoretical computer science
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item