Continuously generated fixed points

DOI10.1016/0304-3975(89)90166-7zbMath0679.68148OpenAlexW2023208782MaRDI QIDQ1823004

Felipe Bracho

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90166-7

zbMATH Keywords

domainsretractioncontinuous functionFixed pointsdomain equationscontinuous functionalrecursively defined functions

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Universal profinite domains ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ Continuously generated fixed points

Cites Work

• \(\mathbb{T}^\omega\) as a universal domain
• Fixed point theorems and semantics: A folk tale
• Continuously generated fixed points
• Data Types as Lattices
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuously generated fixed points