TY  - RPRT
TI  - An explicit shuffle construction of the homotopy span model of differential linear logic
AU  - Paul-André Melliès
AU  - Federico Olimpieri
AU  - Lionel Vaux Auclair
PY  - 2026
UR  - https://arxiv.org/abs/2610.10789
ID  - 2610.10789
ER  -