TY  - RPRT
TI  - Correspondence between Composite Theories and Distributive Laws
AU  - Aloïs Rosset
AU  - Maaike Zwart
AU  - Helle Hvid Hansen
AU  - Jörg Endrullis
PY  - 2024
UR  - https://arxiv.org/abs/2404.00581
ID  - 2404.00581
ER  -