Graded Differential Categories and Graded Differential Linear Logic
From MaRDI portal
Publication:6509229
DOI10.46298/entics.12290zbMatharXiv:2303.10586MaRDI QIDQ6509229
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
Publication date: 1 January 1
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
