Domain theory
Branch of mathematics relating to posets / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Domain theory?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. 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 is closely related to topology.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (June 2022) |