The following pages link to (Q4904081):
Displaying 21 items.
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Differential algebras in codifferential categories (Q2001387) (← links)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- Differential categories revisited (Q2307523) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- Differential categories (Q3419787) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
- (Q4781823) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- Linearizing Combinators (Q5037747) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
