The sequential functionals of type $(\iota \to \iota {)}^n\to \iota$ form a dcpo for all $n\in \mathbb{N}$

Dag Normann

We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, do form a directed complete partial ordering.…