Domain Theory
Samson Abramsky, Achim Jung · 1995
Abstract Let us begin with the problems which gave rise to domain theory: Least fixpoints as meanings of recursive definitions. Recursive definitions of procedures, data structures and other computational entities abound in programming languages. Indeed, recursion is the basic effective mechanism for describing infinite computational behaviour in finite terms.