TY  - RPRT
TI  - Functorial Semantics for Partial Theories
AU  - Ivan Di Liberti
AU  - Fosco Loregian
AU  - Chad Nester
AU  - Paweł Sobociński
PY  - 2020
DO  - 10.1145/3434338
UR  - https://arxiv.org/abs/2011.06644
ID  - 2011.06644
ER  -