TY  - RPRT
TI  - Second-Order Algebraic Theories
AU  - Marcelo Fiore
AU  - Ola Mahmoud
PY  - 2013
UR  - https://arxiv.org/abs/1308.5409
ID  - 1308.5409
ER  -