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

categorical semanticsdifferential linear logicfunctional analysislinear partial differential equations

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

(10)

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

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)