Functorial Semantics for First-Order Theories.

Filippo Bonchi, Alessandro Di Giorgio, Roberto Di Virgilio, Pawel Sobocinski

Browse the full MFCS paper archive.