A convenient differential category
From MaRDI portal
Publication:4904081
Recommendations
Cited in
(22)- Linearizing combinators
- On Banach spaces of sequences and free linear logic exponential modality
- scientific article; zbMATH DE number 1828019 (Why is no real title available?)
- 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)
