View in EDS PDF Full Text

UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS.

Saved in:
Bibliographic Details
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
Description
ISSN:18605974
DOI:10.46298/LMCS-22(1:7)2026