http://wiki.karljones.com/index.php?action=history&feed=atom&title=Domain_theory 2026-10-23T22:55:52Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Domain_theory&diff=18150&oldid=prev 2016-09-09T18:00:24Z

<p>Created page with &quot;In <a href="/index.php/Mathematics" title="Mathematics">mathematics</a>, &#039;&#039;&#039;domain theory&#039;&#039;&#039; is the study of special kinds of <a href="/index.php/Partially_ordered_set" title="Partially ordered set">partially ordered sets</a> (posets) commonly called domains. Consequently, domai...&quot;</p> <p><b>New page</b></p><div>In [[mathematics]], '''domain theory''' is the study of special kinds of [[Partially ordered set|partially ordered sets]] (posets) commonly called domains. Consequently, domain theory can be considered as a branch of [[order theory]].<br /> <br /> == Description ==<br /> <br /> The field has major applications in [[computer science]], where it is used to specify denotational semantics, especially for [[functional programming]] languages.<br /> <br /> Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and has close relations to topology.<br /> <br /> An alternative important approach to denotational semantics in [[computer science]] is that of [[Metric space|metric spaces]].<br /> <br /> == See also ==<br /> <br /> * [[Category theory]]<br /> * [[Metric space]]<br /> * [[Order theory]]<br /> * [[Partially ordered set]]<br /> * [[Scott domain]]<br /> * [[Scott information system]]<br /> * [[Type theory]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Domain_theory Domain theory] @ Wikipedia<br /> <br /> <br /> [[Category:Mathematics]]</div>

Karl Jones