J. Power

activity

20132017

most citedAn enriched view on the extended finitary monad--Lawvere theory correspondence

6 citations · 6 across the 4 of their papers we have counts for

collaborators

Showing 2016 · cs.LOShow all

2 papers · 2 filters

cs.LO2016

Logic programming: laxness and saturation

Ekaterina Komendantskaya, John Power

A propositional logic program $P$ may be identified with a $P_{f} P_{f}$ -coalgebra on the set of atomic propositions in the program. The corresponding $C (P_{f} P_{f})$ -coalgebra, where $C(P_…

cs.LO2016

Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Ekaterina Komendantskaya, John Power

A propositional logic program $P$ may be identified with a $P_{f} P_{f}$ -coalgebra on the set of atomic propositions in the program. The corresponding $C (P_{f} P_{f})$ -coalgebra, where $C(P_…