@misc{indiciae5ef5b4fb6b9a,
  title = {The sequential functionals of type \$(ι\textbackslash{}rightarrow ι)\textasciicircum{}n \textbackslash{}rightarrow ι\$ form a dcpo for all \$n \textbackslash{}in \textbackslash{}Bbb N\$},
  author = {Dag Normann},
  year = {2018},
  doi = {10.23638/lmcs-14(1:23)2018},
  url = {https://arxiv.org/abs/1607.02970},
  note = {Source identifier: 1607.02970}
}