TY  - RPRT
TI  - Functorial Semantics of Second-Order Algebraic Theories
AU  - Marcelo Fiore
AU  - Ola Mahmoud
PY  - 2014
UR  - https://arxiv.org/abs/1401.4697
ID  - 1401.4697
ER  -