The following pages link to Differential categories (Q3419787):
Displaying 42 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- Differential interaction nets (Q860836) (← links)
- A categorical framework for the quantum harmonic oscillator (Q1008298) (← links)
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Differential algebras in codifferential categories (Q2001387) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Finiteness spaces and generalized power series (Q2134813) (← links)
- Cartesian integral categories and contextual integral categories (Q2134825) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Differential categories revisited (Q2307523) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- A Tangent Category Alternative to the Fa\`a di Bruno Construction (Q4555334) (← 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)
- Integral categories and calculus categories (Q4611199) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
- (Q4972739) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q4993351) (← links)
- (Q5019675) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- Categorical semantics of a simple differential programming language (Q5019684) (← links)
- (Q5020625) (← links)
- Linearizing Combinators (Q5037747) (← links)
- (Q5101336) (← links)
- (Q5111309) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- (Q5155686) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- A linear category of polynomial diagrams (Q5740350) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)
- (Q6068926) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- (Q6153324) (← links)
