Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Anthony Power

Research output: Contribution to conferencePaper

43 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2017
EventWorkshop on Coalgbera, Horn Clause Logic Programming and Types - International Centre for Mathematical Sciences, Edinburgh, UK United Kingdom
Duration: 28 Nov 201629 Nov 2016

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.