The extensional ordering of the sequential functionals |
| |
| Authors: | D Normann VYu Sazonov |
| |
| Institution: | a Department of Mathematics, The University of Oslo, P.O. Box 1053, 0316 Oslo, Norwayb Department of Computer Science, The University of Liverpool, Liverpool L69 3BX, UK |
| |
| Abstract: | We investigate the extensional ordering of the sequential functionals of finite types, with a focus on when the sequential functionals of a given type form a directed complete partial ordering, and on when a finite sequential functional will be the nontrivial least upper bound of an infinite chain of sequential functionals. We offer a full characterization for finite functionals of pure types. |
| |
| Keywords: | 03D65 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
