@misc{indiciaea6e4aac34075, title = {An explicit shuffle construction of the homotopy span model of differential linear logic}, author = {Paul-André Melliès and Federico Olimpieri and Lionel Vaux Auclair}, year = {2026}, url = {https://arxiv.org/abs/2610.10789}, note = {Source identifier: 2610.10789} }