TY  - RPRT
TI  - Proof Identity and Categorical Models of BV
AU  - Matteo Acclavio
AU  - Lutz Straßburger
AU  - Vladimir Zamdzhiev
PY  - 2026
UR  - https://arxiv.org/abs/2604.25501
ID  - 2604.25501
ER  -