The following pages link to The differential lambda-calculus (Q1884894):
Displaying 50 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- Differential interaction nets (Q860836) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- An embedding theorem for tangent categories (Q1682009) (← 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)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Finiteness spaces and generalized power series (Q2134813) (← links)
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Differential categories revisited (Q2307523) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- The categorified Heisenberg algebra. I: A combinatorial representation. (Q2411671) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355) (← links)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- (Q2980972) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- (Q3300796) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- The algebraic lambda calculus (Q3643363) (← 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)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- (Q4580329) (← 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)
- (Q4611384) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
