Research

Tensors of comodels and models for operational semantics


Reference:

Plotkin, G. and Power, J., 2008. Tensors of comodels and models for operational semantics. Electronic Notes in Theoretical Computer Science, 218, pp. 295-311.

Related documents:

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

    Official URL:

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

    Abstract

    In seeking a unified study of computational effects, one must take account of the coalgebraic structure of state in order to give a general operational semantics agreeing with the standard one for state. Axiomatically, one needs a countable Lawvere theory L, a comodel C, typically the final one, and a model M, typically free; one then seeks a previous termtensornext termC⊗M of the comodel with the model that allows operations to flow between the two. We describe such a previous termtensornext term implicit in the abstract category theoretic literature, explain its significance for computational effects, and calculate it in leading classes of examples, primarily involving state.

    Details

    Item Type Articles
    CreatorsPlotkin, G.and Power, J.
    DOI10.1016/j.entcs.2008.10.018
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementPower_ENTCS_2008_218_295.pdf: NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Electronic Notes in Theoretical Computer Science, Vol 218, 2008, DOI 10.1016/j.entcs.2008.10.018
    RefereedYes
    StatusPublished
    ID Code26519
    Additional InformationProceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...