Ekaterina Komendantskaya, John Power. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlan
HAL Archives-Ouvertes,
Ekaterina Komendantskaya, John Power. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the…