On sequential functionals of type 3

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. ws that this model does not equal Milner's [9] fully abstract model for PCF.

• Type: Journal
• Year: 2006
• Where: MSCS
• Authors: Dag Normann
• Keywords: Game Semantics, MSCS 2006, Pure Type, Sequential Functionals