Domain representable spaces defined by strictly positive induction (Q2786126)
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: Domain representable spaces defined by strictly positive induction |
scientific article; zbMATH DE number 5789396
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Domain representable spaces defined by strictly positive induction |
scientific article; zbMATH DE number 5789396 |
Statements
21 September 2010
0 references
domain theory
0 references
computable analysis
0 references
domain representations
0 references
qcb\(_0\) spaces
0 references
inductive definitions
0 references
least fixed points
0 references
Domain representable spaces defined by strictly positive induction (English)
0 references
0.713835597038269
0 references
0.7049945592880249
0 references
0.6978283524513245
0 references
