Coalgebraic Semantics for Derivations in Logic Programming.

Ekaterina Komendantskaya, John Power

Browse the full CALCO paper archive.