Research

Category Theoretic Semantics for Logic Programming:Laxness and Saturation


Reference:

Power, A., 2016. Category Theoretic Semantics for Logic Programming:Laxness and Saturation. In: Workshop on Coalgbera, Horn Clause Logic Programming and Types, 2016-11-28 - 2016-11-29, International Centre for Mathematical Sciences.

Related documents:

[img]
Preview
PDF (laxandsat) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (87kB) | Preview

    Details

    Item Type Conference or Workshop Items (Paper)
    CreatorsPower, A.
    Uncontrolled Keywordslaxness,saturation,lawvere theories,right kan extension
    DepartmentsFaculty of Science > Computer Science
    RefereedYes
    StatusPublished
    ID Code52753

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...