Higher-order distributions for differential linear logic

DOI10.1007/978-3-030-17127-8_19MaRDI QIDQ2289085zbMATH OpenOpenAlexFDO

Authors Marie Kerjean, Jean-Simon Pacaud Lemay

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

categorical semanticstopological vector spacesdifferential linear logic

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Stabilized profunctors and stable species of structures
• Unifying graded linear logic and differential operators
• Unifying graded linear logic and differential operators
• 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)