On sequential functionals of type 3 (2006)
by
Dag Normann
| Venue: | Math. Structures Comput. Sci |
| Citations: | 6 - 0 self |
BibTeX
@ARTICLE{Normann06onsequential,
author = {Dag Normann},
title = {On sequential functionals of type 3},
journal = {Math. Structures Comput. Sci},
year = {2006},
volume = {16},
pages = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. This shows that this model does not equal Milner’s [9] fully abstract model for P CF. 1
