Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Anthony Power

Research output: Contribution to conferencePaperpeer-review

52 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