TY  - RPRT
TI  - Distributive laws for Lawvere theories
AU  - Eugenia Cheng
PY  - 2020
DO  - 10.32408/compositionality-2-1
UR  - https://arxiv.org/abs/1112.3076
ID  - 1112.3076
ER  -