Scott-Domains
- Domain Theory: Scott's D∞ Construction, Denotational Semantics, and the Mathematics of Recursive Types
· 2022-01-15
A rigorous exploration of domain theory—Scott's D∞ construction, continuous lattices, the fixpoint theorem, and how domains provide the mathematical foundation for denotational semantics of programming languages.