A convenient differential category
From MaRDI portal
Publication:4904081
zbMATH Open1281.46061MaRDI QIDQ4904081FDOQ4904081
Authors: Thomas Ehrhard, Christine Tasson, Richard Blute
Publication date: 28 January 2013
Recommendations
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categories, functors in functional analysis (46M15) Bornologies and related structures; Mackey convergence, etc. (46A17)
Cited In (22)
- Linearizing combinators
- On Banach spaces of sequences and free linear logic exponential modality
- Title not available (Why is that?)
- Differential algebras in codifferential categories
- The shuffle quasimonad and modules with differentiation and integration
- Reverse AD at higher types: pure, principled and denotationally correct
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Jets and differential linear logic
- Differential structure, tangent structure, and SDG
- Differential categories revisited
- Jacobians and gradients for Cartesian differential categories
- Convenient antiderivatives for differential linear categories
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Exponential functions in Cartesian differential categories
- Affine geometric spaces in tangent categories
- Differential categories
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- A simply typed \(\lambda\)-calculus of forward automatic differentiation
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Cartesian differential categories revisited
This page was built for publication: A convenient differential category
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904081)