The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$ (Q4637682)
From MaRDI portal
scientific article; zbMATH DE number 6864536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb 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
