TY  - RPRT
TI  - The sequential functionals of type $(ι\rightarrow ι)^n \rightarrow ι$ form a dcpo for all $n \in \Bbb N$
AU  - Dag Normann
PY  - 2018
DO  - 10.23638/lmcs-14(1:23)2018
UR  - https://arxiv.org/abs/1607.02970
ID  - 1607.02970
ER  -