Domain Theory

Domain theory is a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. It give’s mathematical meaning to a broad class of data-structuring mechanisms. It is the familiar result that every monotone function on a complete lattice, or more generally on a directed-complete partial order with least element, has a least fixpoint.