Kleene chain completeness and fixedpoint properties

DOI10.1016/0304-3975(83)90037-3zbMath0515.68057OpenAlexW2025902354MaRDI QIDQ1052104

Tsutomu Kamimura, Adrian Tang

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90037-3

zbMATH Keywords

partially ordered setcontinuous functionsdenotational semantics of programming languagesfixedpointsTarski's fixedpoint theorem

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Chain-complete posets and directed sets with applications
• A lattice-theoretical fixpoint theorem and its applications
• A characterization of complete lattices
• Three counterexamples concerning ω-chain completeness and fixed point properties
• Data Types as Lattices

This page was built for publication: Kleene chain completeness and fixedpoint properties