Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Domain_theory> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Domain_theory abstract "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 has close relations to topology. An alternative important approach to denotational semantics in computer science is that of metric spaces.".
- Domain_theory wikiPageExternalLink topological-domain-theory.html.
- Domain_theory wikiPageExternalLink handy1.pdf.
- Domain_theory wikiPageExternalLink domains.html.
- Domain_theory wikiPageExternalLink l3.ps.
- Domain_theory wikiPageID "325077".
- Domain_theory wikiPageRevisionID "605588953".
- Domain_theory hasPhotoCollection Domain_theory.
- Domain_theory subject Category:Domain_theory.
- Domain_theory subject Category:Fixed_points_(mathematics).
- Domain_theory comment "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 has close relations to topology.".
- Domain_theory label "Domain theory".
- Domain_theory label "Théorie des domaines".
- Domain_theory label "域理论".
- Domain_theory label "領域理論".
- Domain_theory sameAs Θεωρία_πεδίων.
- Domain_theory sameAs Théorie_des_domaines.
- Domain_theory sameAs 領域理論.
- Domain_theory sameAs 도메인_이론.
- Domain_theory sameAs m.01w157.
- Domain_theory sameAs Q1079166.
- Domain_theory sameAs Q1079166.
- Domain_theory wasDerivedFrom Domain_theory?oldid=605588953.
- Domain_theory isPrimaryTopicOf Domain_theory.