A new category of games is developed which improves over existing such cate
gories in that it interprets sums as well as products, function spaces, and
recursive types. A model of FPC, a sequential functional language with jus
t this type structure, is described and shown to be fully abstract. (C) 200
0 Academic Press.