On diagonal fixed points of increasing functions

DOI10.1016/S0304-3975(98)00331-4zbMath0930.68036OpenAlexW2063130250MaRDI QIDQ1960542

Loïc Colson

Publication date: 12 January 2000

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00331-4

zbMATH Keywords

minimaxfixed pointcomplete latticeassociativity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• A lattice-theoretical fixpoint theorem and its applications
• Solving polynomial fixed point equations

This page was built for publication: On diagonal fixed points of increasing functions