Unifying Graded Linear Logic and Differential Operators. - Flavien Breuvart; Marie Kerjean; Simon Mirwasser (FSCD, 2023)