Kleene chain completeness and fixedpoint properties (Q1052104): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A characterization of complete lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chain-complete posets and directed sets with applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Three counterexamples concerning ω-chain completeness and fixed point properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data Types as Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3664454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank |
Latest revision as of 09:37, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kleene chain completeness and fixedpoint properties |
scientific article |
Statements
Kleene chain completeness and fixedpoint properties (English)
0 references
1983
0 references
partially ordered set
0 references
continuous functions
0 references
fixedpoints
0 references
denotational semantics of programming languages
0 references
Tarski's fixedpoint theorem
0 references