On sequential functionals of type 3

13 years 4 months ago

Download folk.uio.no

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.

Dag Normann

Real-time Traffic

Game Semantics | MSCS 2006 | Pure Type | Sequential Functionals |

claim paper

» The sequentially realizable functionals

» A Bytecode Logic for JML and Types

» Globally Optimal Active Contours Sequential Monte Carlo and OnLine Learning for Vessel Seg...

» TypeTheoretic Functional Semantics

» A type theory for probability density functions

» PType System A Featherweight Parallelizability Detector

» A Parallel Branching Program Machine for Emulation of Sequential Circuits

» Minimal Time Sequential Batch Reactors with Bounded and Impulse Controls for One or More S...

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	MSCS
Authors	Dag Normann

Comments (0)

Sciweavers

On sequential functionals of type 3

Game Semantics | MSCS 2006 | Pure Type | Sequential Functionals |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers