TY - RPRT TI - Functorial Semantics for Relational Theories AU - Filippo Bonchi AU - Dusko Pavlovic AU - Pawel Sobocinski PY - 2017 UR - https://arxiv.org/abs/1711.08699 ID - 1711.08699 ER -