A Logical Account for Linear Partial Differential Equations

DOI10.1145/3209108.3209192zbMATH Open1452.03135OpenAlexW2798338833MaRDI QIDQ5145335FDOQ5145335

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)

Cited In (4)

• Stabilized profunctors and stable species of structures
• Jets and differential linear logic
• Zeta functions and the (linear) logic of Markov processes
• 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)