Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Anthony Power

Research output: Contribution to conference › Paper › peer-review

77 Downloads (Pure)

Original language	English
Publication status	Published - 2017
Event	Workshop on Coalgbera, Horn Clause Logic Programming and Types - International Centre for Mathematical Sciences, Edinburgh, UK United Kingdom Duration: 28 Nov 2016 → 29 Nov 2016

Conference	Workshop on Coalgbera, Horn Clause Logic Programming and Types
Abbreviated title	CoALP-Ty'16
Country/Territory	UK United Kingdom
City	Edinburgh
Period	28/11/16 → 29/11/16

Keywords

@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",

}