Convenient antiderivatives for differential linear categories
From MaRDI portal
Publication:5139291
DOI10.1017/S0960129520000158zbMath1497.18027arXiv1808.08513MaRDI QIDQ5139291
Publication date: 8 December 2020
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1808.08513
03F52: Proof-theoretic aspects of linear logic and other substructural logics
18M45: Categorical aspects of linear logic