Cartesian Closed Categories of Effective Domains
Perhaps the most important and striking fact of domain theory is that important categories of domains are cartesian closed. This means that the category has a terminal object, finite products, and exponents. The only problematic part for domains is the exponent, which in this setting means the space of continuous functions. Cartesian closed categories of domains are well understood and the understanding is in some sense essentially complete by the work of Jung , Smyth , and others.
KeywordsFunction Space Finite Subset Complete Cover Recursive Function Effective Domain
Unable to display preview. Download preview PDF.
- 2.S. Abramsky and A. Jung, Domain theory, in Handbook of Logic in Computer Science, volume 3, (S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors), Oxford University Press, Oxford, 1995, 1 - 168.Google Scholar
- 12.V. Stoltenberg-Hansen Effective domains and concrete computability: a survey, in F. L. Bauer and R. Steinbrüggen (editors) Foundations of Secure Computation, IOS Press, 2000.Google Scholar