Date: 15 Jun 2005

Call-by-value games

* Final gross prices may vary according to local VAT.

Get Access

Abstract

A general construction of models of call-by-value from models of call-by-name computation is described. The construction makes essential use of the properties of sum types in common denotational models of call-by-name. When applied to categories of games, it yields fully abstract models of the call-by-value functional language PCFv, which can be extended to incorporate recursive types, and of a language with local references as in Standard ML.