TY  - RPRT
TI  - Unifying Graded Linear Logic and Differential Operators
AU  - Flavien Breuvart
AU  - Marie Kerjean
AU  - Simon Mirwasser
PY  - 2026
DO  - 10.46298/lmcs-22(1:7)2026
UR  - https://arxiv.org/abs/2402.09138
ID  - 2402.09138
ER  -