A logical account for linear partial differential equations

DOI10.1145/3209108.3209192MaRDI QIDQ5145335zbMATH OpenOpenAlexFDO

Authors Marie Kerjean

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3209108.3209192

zbMATH Keywords

functional analysiscategorical semanticslinear partial differential equationsdifferential linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical semantics of formal languages (18C50) Linear higher-order PDEs (35G05)

Recommendations

• 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
• Jets and differential linear logic
• Models of Linear Logic based on the Schwartz $\varepsilon$-product

Cited in

(7)

• Unifying graded linear logic and differential operators
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Stabilized profunctors and stable species of structures
• Differential Linear Logic and Polarization
• Zeta functions and the (linear) logic of Markov processes
• Higher-order distributions for differential linear logic
• Jets and differential linear logic

This page was built for publication: A logical account for linear partial differential equations

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