Functorial models of differential linear logic

DOI10.4230/LIPICS.FSCD.2025.26MaRDI QIDQ7296821zbMATH OpenFDO

Authors Marie Kerjean, Valentin Maestracci, Morgan Rogers

Publication date 14 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2025.26

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A convenient differential category
• A logical account for linear partial differential equations
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Cartesian differential categories
• Differential categories
• Differential categories revisited
• Differential interaction nets
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Differential structure, tangent structure, and SDG
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3240665 (Why is no real title available?)
• scientific article; zbMATH DE number 7650831 (Why is no real title available?)
• Integral categories and calculus categories
• Linear logic
• Not Enough Points Is Enough

This page was built for publication: Functorial models of differential linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7296821)