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 semanticsdifferential linear logictopological vector spaces

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)

• Models of Linear Logic based on the Schwartz \varepsilon-product
• Stabilized profunctors and stable species of structures
• Unifying graded linear logic and differential operators
• Unifying graded linear logic and differential operators

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)