Unique Fixed Points in Domain Theory

DOI10.1016/S1571-0661(04)80966-6zbMath1260.68218OpenAlexW2094977096MaRDI QIDQ4917060

Keye Martin

Publication date: 26 April 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80966-6

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55)

Related Items

Measuring the probabilistic powerdomain ⋮ Entropy as a fixed point

Cites Work

• A computational model for metric spaces
• On Fixed and Periodic Points Under Contractive Mappings
• Unnamed Item
• Unnamed Item
• Unnamed Item