Kleene chain completeness and fixedpoint properties

DOI10.1016/0304-3975(83)90037-3MaRDI QIDQ1052104zbMATH OpenOpenAlexFDO

Authors 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

continuous functionsdenotational semantics of programming languagesfixedpointspartially ordered setTarski's fixedpoint theorem

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• A characterization of complete lattices
• A lattice-theoretical fixpoint theorem and its applications
• Chain-complete posets and directed sets with applications
• Data Types as Lattices
• scientific article; zbMATH DE number 3817067 (Why is no real title available?)
• Three counterexamples concerning ω-chain completeness and fixed point properties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1052104)