Difference between revisions 115528845 and 115528846 on dewiki

< previous diff
next diff >
Bereichstheorie
'''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)
*{{cite book | author = B. A. Davey and H. A. Priestley | title = Introduction to Lattices and Order | edition = 2nd | year = 2002 | publisher =  Cambridge University Press | isbn = 0-521-78451-4 }}
*{{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 }}


== External links ==
* [http://www.cs.nott.ac.uk/~gmh/domains.html Introduction to Domain Theory] by [[Graham Hutton]], [[University of Nottingham]]⏎
⏎
{{DEFAULTSORT:Domain Theory}}
[[Category:Domain theory]]
[[Category:Fixed points (mathematics)]]

[[fa:نظریه دامنه]]
[[fr:Théorie des domaines]]
[[ko:도메인 이론]]
[[ja:領域理論]]
[[zh:域理论]]