The following pages link to Differential categories (Q3419787):
Displaying 48 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)
- Constructing differential categories and deconstructing categories of games (Q1951585) (← 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)
- Forms and exterior differentiation in Cartesian differential categories (Q2859011) (← links)
- Differential restriction categories (Q2884470) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Kähler categories (Q2910140) (← 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)
- Cartesian differential categories (Q3552029) (← links)
- Deriving DG categories (Q4289257) (← 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)
- (Q4781823) (← links)
- (Q4972739) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories (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)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- Diagrammatic differentiation for quantum machine learning (Q6646301) (← links)
