Semantic Domains Export

@incollection{citeulike:2354705, abstract = {this report started working on denotational semantics in collaboration with Christopher Strachey. In order to fix some mathematical precision, he took over some definitions of recursion theorists such as Kleene, Nerode, Davis, and Platek and gave an approach to a simple type theory of higher-type functionals. It was only after giving an abstract characterization of the spaces obtained (through the construction of bases) that he realized that recursive definitions of types could be accommodated...}, author = {Gunter, Carl A. and Scott, Dana S.}, booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)}, citeulike-article-id = {2354705}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.1284}, pages = {633--674}, posted-at = {2008-02-08 20:39:55}, priority = {2}, title = {Semantic Domains}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.1284}, year = {1990} }

TY - CHAP ID - citeulike:2354705 L3 - citeulike-article-id:2354705 N2 - this report started working on denotational semantics in collaboration with Christopher Strachey. In order to fix some mathematical precision, he took over some definitions of recursion theorists such as Kleene, Nerode, Davis, and Platek and gave an approach to a simple type theory of higher-type functionals. It was only after giving an abstract characterization of the spaces obtained (through the construction of bases) that he realized that recursive definitions of types could be accommodated... EP - 674 TI - Semantic Domains T2 - Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) SP - 633 AU - Gunter, Carl AU - Scott, Dana PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.1284 ER -