Effective domains and concrete computability: A survey (Q2752055)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Effective domains and concrete computability: A survey |
scientific article; zbMATH DE number 1665361
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective domains and concrete computability: A survey |
scientific article; zbMATH DE number 1665361 |
Statements
7 March 2002
0 references
domain theory
0 references
domain representability
0 references
recursive mathematics
0 references
Effective domains and concrete computability: A survey (English)
0 references
The paper is an overview of domain theory with an emphasis on its utilization in recursive mathematics (such as, for example, effective computations on the field of real numbers). The exposition is organized into four parts covering basic domain theory, the theory of continuous and algebraic domains, domain representability, and the connection between domain theory and domain representability.NEWLINENEWLINEFor the entire collection see [Zbl 0963.00029].
0 references
