Change actions: models of generalised differentiation

DOI10.1007/978-3-030-17127-8_3MaRDI QIDQ2289062zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1902.05465

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 7407795
• Cartesian difference categories
• Categorical semantics of a simple differential programming language
• Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog
• Monoidal reverse differential categories

Cited in

(9)

• Differential logical relations. II: Increments and derivatives
• Differential logical relations. I: The simply-typed case
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• Jacobians and gradients for Cartesian differential categories
• Differentiable causal computations via delayed trace
• Cartesian differential Kleisli categories
• A partial metric semantics of higher-order types and approximate program transformations
• The difference -calculus: a language for difference categories
• Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs

This page was built for publication: Change actions: models of generalised differentiation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289062)