Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Research output: Contribution to conferencePaper

Conference

ConferenceWorkshop on Coalgbera, Horn Clause Logic Programming and Types
Abbreviated titleCoALP-Ty'16
CountryUK United Kingdom
CityEdinburgh
Period28/11/1629/11/16

Keywords

  • laxness
  • saturation
  • Lawvere theories
  • right Kan extension

Cite this

Power, A. (2017). Category Theoretic Semantics for Logic Programming: Laxness and Saturation. Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom.

Category Theoretic Semantics for Logic Programming : Laxness and Saturation. / Power, Anthony.

2017. Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom.

Research output: Contribution to conferencePaper

Power, A 2017, 'Category Theoretic Semantics for Logic Programming: Laxness and Saturation' Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom, 28/11/16 - 29/11/16, .
Power A. Category Theoretic Semantics for Logic Programming: Laxness and Saturation. 2017. Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom.
Power, Anthony. / Category Theoretic Semantics for Logic Programming : Laxness and Saturation. Paper presented at Workshop on Coalgbera, Horn Clause Logic Programming and Types, Edinburgh, UK United Kingdom.
@conference{81429e305ab243f4b1b0d10fc5f73835,
title = "Category Theoretic Semantics for Logic Programming: Laxness and Saturation",
keywords = "laxness, saturation, Lawvere theories, right Kan extension",
author = "Anthony Power",
year = "2017",
language = "English",
note = "Workshop on Coalgbera, Horn Clause Logic Programming and Types, CoALP-Ty'16 ; Conference date: 28-11-2016 Through 29-11-2016",

}

TY - CONF

T1 - Category Theoretic Semantics for Logic Programming

T2 - Laxness and Saturation

AU - Power,Anthony

PY - 2017

Y1 - 2017

KW - laxness

KW - saturation

KW - Lawvere theories

KW - right Kan extension

M3 - Paper

ER -