Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Domain_theory> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples 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 l3.ps.
- Domain_theory wikiPageExternalLink topological-domain-theory.html.
- Domain_theory wikiPageExternalLink handy1.pdf.
- Domain_theory wikiPageExternalLink domains.html.
- Domain_theory wikiPageID "325077".
- Domain_theory wikiPageLength "18235".
- Domain_theory wikiPageOutDegree "67".
- Domain_theory wikiPageRevisionID "690146516".
- Domain_theory wikiPageWikiLink Bifinite_domain.
- Domain_theory wikiPageWikiLink Category:Domain_theory.
- Domain_theory wikiPageWikiLink Category:Fixed_points_(mathematics).
- Domain_theory wikiPageWikiLink Category_theory.
- Domain_theory wikiPageWikiLink Combinatory_logic.
- Domain_theory wikiPageWikiLink Compact_element.
- Domain_theory wikiPageWikiLink Complete_lattice.
- Domain_theory wikiPageWikiLink Complete_partial_order.
- Domain_theory wikiPageWikiLink Completeness_(order_theory).
- Domain_theory wikiPageWikiLink Computer_science.
- Domain_theory wikiPageWikiLink Continuous_function.
- Domain_theory wikiPageWikiLink Countable_set.
- Domain_theory wikiPageWikiLink Dana_Scott.
- Domain_theory wikiPageWikiLink Denotational_semantics.
- Domain_theory wikiPageWikiLink Directed_set.
- Domain_theory wikiPageWikiLink Dov_Gabbay.
- Domain_theory wikiPageWikiLink Fixed-point_combinator.
- Domain_theory wikiPageWikiLink Fixed_point_(mathematics).
- Domain_theory wikiPageWikiLink Function_(mathematics).
- Domain_theory wikiPageWikiLink Function_space.
- Domain_theory wikiPageWikiLink Functional_programming.
- Domain_theory wikiPageWikiLink Glossary_of_order_theory.
- Domain_theory wikiPageWikiLink Graham_Hutton.
- Domain_theory wikiPageWikiLink Greatest_element.
- Domain_theory wikiPageWikiLink Infimum_and_supremum.
- Domain_theory wikiPageWikiLink Kleene_fixed-point_theorem.
- Domain_theory wikiPageWikiLink L-domain.
- Domain_theory wikiPageWikiLink Lambda_calculus.
- Domain_theory wikiPageWikiLink Lattice_(order).
- Domain_theory wikiPageWikiLink Limit-preserving_function_(order_theory).
- Domain_theory wikiPageWikiLink Limit_of_a_sequence.
- Domain_theory wikiPageWikiLink Mathematical_analysis.
- Domain_theory wikiPageWikiLink Mathematics.
- Domain_theory wikiPageWikiLink Metric_space.
- Domain_theory wikiPageWikiLink Monotonic_function.
- Domain_theory wikiPageWikiLink Order_theory.
- Domain_theory wikiPageWikiLink Partial_function.
- Domain_theory wikiPageWikiLink Partially_ordered_set.
- Domain_theory wikiPageWikiLink Power_set.
- Domain_theory wikiPageWikiLink SFP-domain.
- Domain_theory wikiPageWikiLink Samson_Abramsky.
- Domain_theory wikiPageWikiLink Scott_continuity.
- Domain_theory wikiPageWikiLink Scott_domain.
- Domain_theory wikiPageWikiLink Scott_information_system.
- Domain_theory wikiPageWikiLink Set_theory.
- Domain_theory wikiPageWikiLink Syntax.
- Domain_theory wikiPageWikiLink Tom_Maibaum.
- Domain_theory wikiPageWikiLink Topology.
- Domain_theory wikiPageWikiLink Type_theory.
- Domain_theory wikiPageWikiLink Uncountable_set.
- Domain_theory wikiPageWikiLink University_of_Nottingham.
- Domain_theory wikiPageWikiLink Upper_and_lower_bounds.
- Domain_theory wikiPageWikiLinkText "Domain Theory".
- Domain_theory wikiPageWikiLinkText "Domain theorists".
- Domain_theory wikiPageWikiLinkText "Domain theory".
- Domain_theory wikiPageWikiLinkText "Domain theory#Way-below relation".
- Domain_theory wikiPageWikiLinkText "Domain".
- Domain_theory wikiPageWikiLinkText "denotational semantics of the lambda calculus".
- Domain_theory wikiPageWikiLinkText "domain theoretic".
- Domain_theory wikiPageWikiLinkText "domain theory".
- Domain_theory wikiPageWikiLinkText "domain".
- Domain_theory wikiPageWikiLinkText "domains".
- Domain_theory wikiPageUsesTemplate Template:Cite_book.
- Domain_theory wikiPageUsesTemplate Template:Cite_conference.
- Domain_theory wikiPageUsesTemplate Template:Cite_encyclopedia.
- Domain_theory wikiPageUsesTemplate Template:Cite_journal.
- Domain_theory wikiPageUsesTemplate Template:Cite_paper.
- Domain_theory wikiPageUsesTemplate Template:Citeseerx.
- Domain_theory subject Category:Domain_theory.
- Domain_theory subject Category:Fixed_points_(mathematics).
- Domain_theory hypernym Branch.
- Domain_theory type Organisation.
- 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 sameAs Q1079166.
- Domain_theory sameAs Θεωρία_πεδίων.
- 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 域理论.
- Domain_theory wasDerivedFrom Domain_theory?oldid=690146516.
- Domain_theory isPrimaryTopicOf Domain_theory.