TY  - RPRT
TI  - A categorical account of composition methods in logic (extended version)
AU  - Tomáš Jakl
AU  - Dan Marsden
AU  - Nihil Shah
PY  - 2025
DO  - 10.46298/lmcs-21(4:10)2025
UR  - https://arxiv.org/abs/2405.06664
ID  - 2405.06664
ER  -