A generalization of Naundorf's fixpoint theorem

DOI10.1016/S0304-3975(00)00202-4zbMath0949.68095MaRDI QIDQ1583261

Wim H. Hesselink

Publication date: 26 October 2000

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

zbMATH Keywords

semilatticefixpoint theoremstrict causalityZorns lemma

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Predicate transformers and higher-order programs, Combining angels, demons and miracles in program specifications, The fixed-point theory of strictly causal functions

Cites Work

• Knaster-Tarski revisited
• Strictly causal functions have a unique fixed point
• A lattice-theoretical fixpoint theorem and its applications
• Unnamed Item