Skip to main content Accessibility help
×
Home

On sequential functionals of type 3

  • DAG NORMANN (a1)

Abstract

We show that the extensional ordering of the sequential functionals of pure type 3, for example, as defined via game semantics (Abramsky et al. 1994; Hyland and Ong 2000), is not cpo-enriched. This shows that this model does not equal Milner's (Milner 1977) fully abstract model for PCF.

Copyright

On sequential functionals of type 3

  • DAG NORMANN (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.