About: Domain theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Branch of mathematics

Property	Value
dbo:description	Branch of mathematics (en) Rama de la matemática que trata de conjuntos parcialmente ordenados (posets) (es) 數學中，序理論的分支 (zh)
dbo:wikiPageExternalLink	https://archive.org/details/continuouslattic0000unse http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf https://archive.org/details/mathematicaltheo0000stol https://books.google.com/books%3Fid=Gu2wh2TqVcUC&q=%22domain+theory%22 http://www.dcs.ed.ac.uk/home/als/Teaching/MSfS/l3.ps http://www.cs.nott.ac.uk/~gmh/domains.html https://apps.dtic.mil/dtic/tr/fulltext/u2/a052266.pdf%7Carchive-url=https:/web.archive.org/web/20190412190831/https:/apps.dtic.mil/dtic/tr/fulltext/u2/a052266.pdf%7Curl-status=live%7Carchive-date=April https://web.archive.org/web/20050427104159/http:/www.dcs.ed.ac.uk/home/als/Teaching/MSfS/l3.ps https://web.archive.org/web/20110611035538/http:/homepages.inf.ed.ac.uk/als/Research/topological-domain-theory.html
dbo:wikiPageWikiLink	dbr:Samson_Abramsky dbr:Functional_programming dbr:Category_theory dbr:Fixed_point_(mathematics) dbr:Morphism dbr:Lambda_calculus dbr:Dana_Scott dbr:Lattice_(order) dbr:Function_(mathematics) dbr:Set_theory dbr:Topology dbr:Metric_space dbr:Fixed-point_combinator dbr:Codomain dbr:Type_theory dbr:Complete_lattice dbr:Limit-preserving_function_(order_theory) dbc:Domain_theory dbr:Function_space dbr:Mathematics dbr:Denotational_semantics dbr:Mathematical_analysis dbr:Least_fixed_point dbr:Computer_science dbr:Syntax dbr:Kleene_fixed-point_theorem dbr:Directed_complete_partial_order dbr:Category_(mathematics) dbr:Partially_ordered_set dbr:University_of_Nottingham dbr:Dov_Gabbay dbr:Convergent_sequence dbr:Directed_set dbr:Scott_domain dbr:Scott_information_system dbc:Fixed_points_(mathematics) dbr:Axiom_of_choice dbr:Total_order dbr:Compact_element dbr:Completeness_(order_theory) dbr:Join_and_meet dbr:Complete_partial_order dbr:Order_theory dbr:Tom_Maibaum dbr:Greatest_element dbr:Upper_bound dbr:Monotonic dbr:Order_theory_glossary dbr:Least_element dbr:Least_upper_bound dbr:Powerset dbr:Continuity_space dbr:Uncountable dbr:Combinator_calculus dbr:Countable dbr:Partial_functions dbr:Algebraic_lattices dbr:Algebraic_poset dbr:Scott-continuous dbr:Poset dbr:Bifinite_domain dbr:L-domain dbr:SFP-domain
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_journal dbt:Cite_conference dbt:Cite_encyclopedia dbt:Inline dbt:Short_description
dct:subject	dbc:Domain_theory dbc:Fixed_points_(mathematics)
gold:hypernym	dbr:Branch
rdfs:label	Domain theory (en) Θεωρία πεδίων (el) Teoría de dominios (es) Théorie des domaines (fr) 領域理論 (ja) 도메인 이론 (ko) 域理论 (zh)
owl:sameAs	freebase:Domain theory yago-res:Domain theory wikidata:Domain theory dbpedia-fr:Domain theory dbpedia-zh:Domain theory dbpedia-ja:Domain theory dbpedia-es:Domain theory dbpedia-fa:Domain theory dbpedia-ko:Domain theory dbpedia-el:Domain theory dbpedia-global:Domain theory dbr:Domain theory
prov:wasDerivedFrom	wikipedia-en:Domain_theory?oldid=1289266157&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Domain_theory
is dbo:knownFor of	dbr:Gordon_Plotkin
is dbo:wikiPageDisambiguates of	dbr:Domain
is dbo:wikiPageRedirects of	dbr:Way-below dbr:Way-below_relation
is dbo:wikiPageWikiLink of	dbr:Currying dbr:List_of_functional_programming_topics dbr:Samson_Abramsky dbr:Normalisation_by_evaluation dbr:History_of_the_Actor_model dbr:Power_domains dbr:Category_theory dbr:Fixed_point_(mathematics) dbr:Lambda_calculus dbr:Dana_Scott dbr:Lattice_(order) dbr:Formal_methods dbr:Smash_product dbr:Topology dbr:Metric_space dbr:Alexandrov_topology dbr:Domain dbr:Function_type dbr:Limit-preserving_function_(order_theory) dbr:Function_space dbr:Mathetics dbr:Galois_connection dbr:Information_algebra dbr:Gordon_Plotkin dbr:Denotational_semantics dbr:Glossary_of_order_theory dbr:Programming_Computable_Functions dbr:Actor_model_and_process_calculi dbr:Least_fixed_point dbr:Computer_science dbr:Valuation_(measure_theory) dbr:Semantics_(computer_science) dbr:Explanation-based_learning dbr:Glossary_of_areas_of_mathematics dbr:Actor_model dbr:Denotational_semantics_of_the_Actor_model dbr:Ultrametric_space dbr:Bounded_complete_poset dbr:Bourbaki–Witt_theorem dbr:Specialization_(pre)order dbr:Strictness_analysis dbr:Continuous_function dbr:Directed_set dbr:Ontology_language dbr:Scott_domain dbr:Scott_information_system dbr:Embedding dbr:Semilattice dbr:Compact_element dbr:Completeness_(order_theory) dbr:Viggo_Stoltenberg-Hansen dbr:Domain_of_discourse dbr:Complete_partial_order dbr:Order_theory dbr:List_of_computer_scientists dbr:John_V._Tucker dbr:Lawson_topology dbr:Sober_space dbr:Thomas_Streicher dbr:Way-below dbr:Way-below_relation
is dbp:knownFor of	dbr:Gordon_Plotkin
is foaf:primaryTopic of	wikipedia-en:Domain_theory