TY  - RPRT
TI  - 2-Functoriality of Initial Semantics, and Applications
AU  - Benedikt Ahrens
AU  - Ambroise Lafont
AU  - Thomas Lamiaux
PY  - 2026
DO  - 10.1145/3747527
UR  - https://arxiv.org/abs/2503.10863
ID  - 2503.10863
ER  -