Unifying graded linear logic and differential operators
From MaRDI portal
Cites work
- A core quantitative coeffect calculus
- A duality theorem between spaces of holomorphic functions of exponential growth
- A logical account for linear partial differential equations
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Bounded Linear Types in a Resource Semiring
- Diffeology
- Differential categories
- Differential interaction nets
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Exponentials with infinite multiplicities
- Finiteness spaces
- Generalized bounded linear logic and its categorical semantics
- Graded differential categories and graded differential linear logic
- Higher-order distributions for differential linear logic
- scientific article; zbMATH DE number 3176305 (Why is no real title available?)
- scientific article; zbMATH DE number 3730702 (Why is no real title available?)
- scientific article; zbMATH DE number 1077733 (Why is no real title available?)
- scientific article; zbMATH DE number 3240665 (Why is no real title available?)
- Jets and differential linear logic
- Linear dependent types for differential privacy
- Linear logic
- Modelling coeffects in the relational semantics of linear logic
- On Köthe sequence spaces and linear logic
- On phase semantics and denotational semantics: The exponentials
- Taylor expansion as a monad in models of DiLL
- The Cut-Elimination Theorem for Differential Nets with Promotion
This page was built for publication: Unifying graded linear logic and differential operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6858370)
