Higher-order distributions for differential linear logic

DOI10.1007/978-3-030-17127-8_19OpenAlexW2908220729MaRDI QIDQ2289085FDOQ2289085

Authors: Marie Kerjean, Jean-Simon Pacaud Lemay 

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_19

Recommendations

• A logical account for linear partial differential equations
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Differential Linear Logic and Polarization
• Mackey-complete spaces and power series -- a topological model of differential linear logic
• Unifying graded linear logic and differential operators

zbMATH Keywords

categorical semanticstopological vector spacesdifferential linear logic

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited In (2)

• Stabilized profunctors and stable species of structures
• Models of Linear Logic based on the Schwartz $\varepsilon$-product

This page was built for publication: Higher-order distributions for differential linear logic

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