Constructing Differential Categories and Deconstructing Categories of Games
We present an abstract construction for building differential categories useful to model resource sensitive calculi, and we apply it to categories of games. In one instance, we recover a category previously used to give a fully abstract model of a nondeterministic imperative language. The construction exposes the differential structure already present in this model. A second instance corresponds to a new Cartesian differential category of games. We give a model of a Resource PCF in this category and show that it enjoys the finite definability property. Comparison with a relational semantics reveals that the latter also possesses this property and is fully abstract.
KeywordsOperational Semantic Full Subcategory Monoidal Category Monoidal Structure Full Functor
Unable to display preview. Download preview PDF.
- 2.Baillot, P., Danos, V., Ehrhard, T., Regnier, L.: Timeless games. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol. 1584, pp. 56–77. Springer, Heidelberg (1999)Google Scholar
- 7.Harmer, R.: Games and full abstraction for nondeterministic languages. PhD thesis, University of London (1999)Google Scholar
- 8.Harmer, R., McCusker, G.: A fully abstract game semantics for finite nondeterminism. In: LICS 1999, pp. 422–430 (1999)Google Scholar