Difference between revisions of "Domain theory"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "In mathematics, '''domain theory''' is the study of special kinds of partially ordered sets (posets) commonly called domains. Consequently, domai...") |
(No difference)
|
Latest revision as of 12:00, 9 September 2016
In mathematics, domain theory is the study of special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory.
Description
The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages.
Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and has close relations to topology.
An alternative important approach to denotational semantics in computer science is that of metric spaces.
See also
- Category theory
- Metric space
- Order theory
- Partially ordered set
- Scott domain
- Scott information system
- Type theory
External links
- Domain theory @ Wikipedia