scientific article; zbMATH DE number 7204432

DOI10.4230/LIPIcs.FSCD.2017.13zbMath1434.18005MaRDI QIDQ5111309

J. S. Lemay, J. Robin B. Cockett

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicdifferential categoriescoalgebra modalitiesbialgebra modalities

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Preadditive, additive categories (18E05) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (4)

Unnamed Item ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Differential algebras in codifferential categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential interaction nets
• Monads and distributive laws for Rota-Baxter and differential algebras
• The geometry of tensor calculus. I
• The differential lambda-calculus
• A Survey of Graphical Languages for Monoidal Categories
• Differential categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Cartesian Differential Storage Categories

This page was built for publication: