Domain Theory Export

@misc{citeulike:361721, abstract = {bases were introduced in [Smy77] where they are called \"R-structures\". Examples of abstract bases are concrete bases of continuous domains, of course, where the relation  is the restriction of the order of approximation. Axiom (INT) is satisfied because of Lemma 2.2.15 and because we have required bases in domains to have directed sets of approximants for each element.}, author = {Corrected and Expanded}, citeulike-article-id = {361721}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.9621}, keywords = {denotational-semantics, domain-theory}, posted-at = {2005-10-22 21:45:45}, priority = {2}, title = {Domain Theory}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.9621} }

TY - GEN ID - citeulike:361721 L3 - citeulike-article-id:361721 N2 - bases were introduced in [Smy77] where they are called "R-structures". Examples of abstract bases are concrete bases of continuous domains, of course, where the relation  is the restriction of the order of approximation. Axiom (INT) is satisfied because of Lemma 2.2.15 and because we have required bases in domains to have directed sets of approximants for each element. TI - Domain Theory KW - denotational-semantics KW - domain-theory AU - Corrected AU - Expanded UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.9621 ER -