UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS.
Saved in:
| Title: | UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS. |
|---|---|
| Authors: | BREUVART, FLAVIEN1, breuvart@lipn.fr, KERJEAN, MARIE1,2, kerjean@lipn.fr, MIRWASSER, SIMON1, mirwasser@lipn.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p7:1-7:37, 37p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
