A logical account for linear partial differential equations

DOI10.1145/3209108.3209192zbMATH Open1452.03135OpenAlexW2798338833MaRDI QIDQ5145335FDOQ5145335

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

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

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)

Cited In (6)

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

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)