Saturated Semantics for Coalgebraic Logic Programming.

Filippo Bonchi, Fabio Zanasi

Browse the full CALCO paper archive.