Learn More
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(More)
A new category of games is developed which improves over existing such categories in that it interprets sums as well as products, function spaces and recursive types. A model of FPC, a sequential(More)
We present results concerning the solution of recursive domain equations in the category G of games, which is a modiied version of the category presented in AJM94]. New constructions corresponding to(More)