Graded Differential Categories and Graded Differential Linear Logic
From MaRDI portal
Publication:6509229
DOI10.46298/ENTICS.12290arXiv2303.10586MaRDI QIDQ6509229
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
Graded rings and modules (associative rings and algebras) (16W50) Synthetic differential geometry, tangent categories, differential categories (18F40) Categorical aspects of linear logic (18M45)
This page was built for publication: Graded Differential Categories and Graded Differential Linear Logic