Difference between revisions 115528825 and 115528826 on dewiki

'''Domain theory''' is a   branch of [[mathematics]] that studies special kinds of [[partially ordered set]]s (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|functional programming languages]]. Domain theory formalizes the intu(contracted; show full)

Another online paper explains the motivation, why the notion of “topology” can be applied in the investigation of concepts of the computer science:
*{{cite book | author = Alex Simpson | title = Mathematical Structures for Semantics | url = http://www.dcs.ed.ac.uk/home/als/Teaching/MSfS/
l3.ps | accessdate = 2007-10-13 | year = 2001-2002 | chapter = Part III: [http://www.dcs.ed.ac.uk/home/als/Teaching/MSfS/l3.ps Topological Spaces from a Computational Perspective] }}
The “References” section of this web page provides many online materials on domain theory.

One of Scott's classical papers:
*{{cite journal | title = Data types as lattices | author = D. S. Scott | authorlink = Dana Scott | year = 1975 | journal = Proceedings of the International Summer Institute and Logic Colloquium, Kiel'', in ''Lecture Notes in Mathematics | volume = 499 | pages = 579–651 | publisher = Springer-Verlag }}

A textbook treatment of domain theory with connections to lambda calculus and types:
*{{cite book | author = Carl A. Gunter | title = Semantics of Programming Languages | year = 1992 | publisher = MIT Press }}

A general, easy-to-read account of order theory, including an introduction to domain theory as well:
*{{cite book | author = B. A. Davey and H. A. Priestley | title = Introduction to Lattices and Order | edition = 2nd edition | year = 2002 | publisher =  Cambridge University Press | isbn = 0-521-78451-4 }}

An account of the Laws for Actor systems and how they can be used to justify Scott's continuity criterion:
*{{cite conference | author = Carl Hewitt and Henry Baker | month = August | year = 1977 | title = Actors and Continuous Functionals | booktitle = Proceedings of IFIP Working Conference on Formal Description of Programming Concepts }}

[[Category:Domain theory|Domain theory]]
[[Category:Fixed points]]

[[fa:نظریه حوزه‌ها]]
[[fr:Théorie des domaines]]
[[ja:領域理論]]
[[zh:域理论]]