Relational Properties of Domains Export

@article{citeulike:361722, abstract = {New tools are presented for reasoning about properties of recursively defined domains. We work within a general, category-theoretic framework for various notions of `relation' on domains and for actions of domain constructors on relations. Freyd's analysis of recursive types in terms of a property of mixed initiality/finality is transferred to a corresponding property of invariant relations. The existence of invariant relations is proved under completeness assumptions about the notion of...}, author = {Pitts, Andrew M.}, citeulike-article-id = {361722}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1976}, journal = {Information and Computation}, keywords = {denotational-semantics, domain-theory}, number = {2}, pages = {66--90}, posted-at = {2005-10-22 21:46:15}, priority = {2}, title = {Relational Properties of Domains}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1976}, volume = {127}, year = {1996} }

TY - JOUR ID - citeulike:361722 L3 - citeulike-article-id:361722 N2 - New tools are presented for reasoning about properties of recursively defined domains. We work within a general, category-theoretic framework for various notions of `relation' on domains and for actions of domain constructors on relations. Freyd's analysis of recursive types in terms of a property of mixed initiality/finality is transferred to a corresponding property of invariant relations. The existence of invariant relations is proved under completeness assumptions about the notion of... IS - 2 JF - Information and Computation EP - 90 TI - Relational Properties of Domains VL - 127 SP - 66 KW - denotational-semantics KW - domain-theory AU - Pitts, Andrew PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1976 ER -