Combining fixpoint and differentiation theory
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 431762 (Why is no real title available?)
- scientific article; zbMATH DE number 5485454 (Why is no real title available?)
- scientific article; zbMATH DE number 3709584 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 19484 (Why is no real title available?)
- scientific article; zbMATH DE number 2172965 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- scientific article; zbMATH DE number 3346618 (Why is no real title available?)
- scientific article; zbMATH DE number 7650831 (Why is no real title available?)
- A coherent differential PCF
- A language for evaluating derivatives of functionals using automatic differentiation
- A survey of graphical languages for monoidal categories
- Algorithm differentiation of implicit functions and optimal values
- Algorithms for combinatorial structures: well-founded systems and Newton iterations
- An Infinitary Model of Linear Logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Cartesian coherent differential categories
- Cartesian differential Kleisli categories
- Cartesian differential categories
- Cartesian differential categories as skew enriched categories
- Categorical models for simply typed resource calculi
- Categorical models of the differential λ-calculus
- Differentiable causal computations via delayed trace
- Differential categories
- Differential restriction categories
- Differential structure, tangent structure, and SDG
- Equationally complete classes of commutative monoids with monus
- Exponential functions in Cartesian differential categories
- Fixed Points In Quantitative Semantics
- Independence of the equational axioms for iteration theories
- Inductive \(^{*}\)-semirings
- Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
- LCF considered as a programming language
- Linearizing combinators
- Metric spaces, generalized logic, and closed categories
- Newtonian program analysis
- Taylor expansion as a monad in models of DiLL
- The Category-Theoretic Solution of Recursive Domain Equations
- The Faà di Bruno construction
- The cartesian closed bicategory of generalised species of structures
- The differential lambda-calculus
- The uniformity principle on traced monoidal categories
- Traced monoidal categories
- Une approche combinatoire pour l'itération de Newton-Raphson
- Weighted relational models of typed lambda-calculi
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
This page was built for publication: Combining fixpoint and differentiation theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970240)
