Functorial Semantics as a Unifying Perspective on Logic Programming.

Tao Gu, Fabio Zanasi

Browse the full CALCO paper archive.