Research

Understanding game semantics through coherence spaces


Reference:

Calderon, A. C. and McCusker, G. A., 2010. Understanding game semantics through coherence spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 231-244.

Related documents:

[img]
Preview
PDF (mfps.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (231kB) | Preview

    Official URL:

    http://dx.doi.org/10.1016/j.entcs.2010.08.014

    Abstract

    Game Semantics has successfully provided fully abstract models for a variety of programming languages not possible using other denotational approaches. Although it is a flexible and accurate way to give semantics to a language, its underlying mathematics is awkward. For example, the proofs that strategies compose associatively and maintain properties imposed on them such as innocence are intricate and require a lot of attention. This work aims at beginning to provide a more elegant and uniform mathematical ground for Game Semantics. Our quest is to find mathematical entities that will retain the properties that make games an accurate way to give semantics to programs, yet that are simple and familiar to work with. Our main result is a full, faithful strong monoidal embedding of a category of games into a category of coherence spaces, where composition is simple composition of relations.

    Details

    Item Type Articles
    CreatorsCalderon, A. C.and McCusker, G. A.
    DOI10.1016/j.entcs.2010.08.014
    DepartmentsFaculty of Science > Computer Science
    Publisher Statementmfps.pdf: Postprint version made available in accordance with Elsevier publisher policies. Article should always be cited as: Calderon, A., McCusker, G., 2010. Understanding game semantics through coherence spaces. In: Selinger, P., ed. Proceedings, Twenty-sixth conference on the Mathematical Foundations of Programming Semantics, MFPS 2010. Elsevier
    RefereedYes
    StatusPublished
    ID Code18529
    Additional InformationProceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010)

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...