TY  - RPRT
TI  - Monoidal bicategories, differential linear logic, and analytic functors
AU  - M. Fiore
AU  - N. Gambino
AU  - M. Hyland
PY  - 2026
UR  - https://arxiv.org/abs/2405.05774
ID  - 2405.05774
ER  -