6 citations · 6 across the 4 of their papers we have counts for
5 papers
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Ekaterina Komendantskaya, John Power
The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logi…
An enriched view on the extended finitary monad--Lawvere theory correspondence
Richard Garner, John Power
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base…
Logic programming: laxness and saturation
Ekaterina Komendantskaya, John Power
A propositional logic program may be identified with a -coalgebra on the set of atomic propositions in the program. The corresponding -coalgebra, where $C(P_…
Category theoretic semantics for theorem proving in logic programming: embracing the laxness
Ekaterina Komendantskaya, John Power
A propositional logic program may be identified with a -coalgebra on the set of atomic propositions in the program. The corresponding -coalgebra, where $C(P_…
Coalgebraic Logic Programming: from Semantics to Implementation
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations f…