1986 | OriginalPaper | Buchkapitel
Canonical Fixed Points
verfasst von : Ernest G. Manes, Michael A. Arbib
Erschienen in: Algebraic Approaches to Program Semantics
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The previous chapter considered a number of situations in which an object of semantic interest arises as the least fixed point of a continuous map ψ:(D, ≤)→(D, ≤) of some domain (D, ≤). So far, the domain structure is but a technical device to distinguish the least fixpoint from the other fixed points.