UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS. - BREUVART, FLAVIEN; KERJEAN, MARIE; MIRWASSER, SIMON (Logical Methods in Computer Science (LMCS), 2026)