The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a \textit{dcpo} for all \(n \in \mathbb N\) (Q4637682)
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: The sequential functionals of type ( )^n form a \textit{dcpo} for all n N |
scientific article; zbMATH DE number 6864536
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a \textit{dcpo} for all \(n \in \mathbb N\) |
scientific article; zbMATH DE number 6864536 |
Statements
25 April 2018
0 references
sequential procedure
0 references
sequential functional
0 references
directed complete partial ordering
0 references
cs.LO
0 references
math.LO
0 references
0.8650131821632385
0 references
0.8107613921165466
0 references
0.8093856573104858
0 references
0.7937051057815552
0 references
