On sequential functionals of type 3

DAG NORMANN
2006 Mathematical Structures in Computer Science  
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 .
doi:10.1017/s0960129506005147 fatcat:ihvkg56r2bbjxd7xlhhlvm7tji