Jets and differential linear logic
From MaRDI portal
Publication:4988427
DOI10.1017/S0960129520000249zbMath1500.03018arXiv1811.06235MaRDI QIDQ4988427
Publication date: 14 May 2021
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.06235
Jets in global analysis (58A20) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categorical aspects of linear logic (18M45)
Uses Software
Cites Work
- The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs
- Linear logic
- Deep learning-based numerical methods for high-dimensional parabolic partial differential equations and backward stochastic differential equations
- Faisceaux algébriques cohérents
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Full intuitionistic linear logic
- Coherent Banach spaces: A continuous denotational semantics
- The differential lambda-calculus
- PDE-Net 2.0: learning PDEs from data with a numeric-symbolic hybrid deep network
- Descent in locally presentable categories
- Sur la géométrie des prolongements des espaces fibres vectoriels
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Factorization Algebras in Quantum Field Theory
- What is a categorical model of the differential and the resource λ-calculi?
- Categorical Models for Simply Typed Resource Calculi
- Differential categories
- *-Autonomous categories and linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Mackey-complete spaces and power series – a topological model of differential linear logic
- Integral categories and calculus categories
- On Köthe sequence spaces and linear logic
- Cofree coalgebras and differential linear logic
- A Logical Account for Linear Partial Differential Equations
- Cartesian Differential Storage Categories
- Finiteness spaces
- On Infinite-Dimensional Linear Spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item