Domain theory

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