Change actions: models of generalised differentiation

DOI10.1007/978-3-030-17127-8_3OpenAlexW2913045994MaRDI QIDQ2289062FDOQ2289062

Authors: Yanyan Li 

Publication date: 28 January 2020

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Jacobians and gradients for Cartesian differential categories
• Differential logical relations. I: The simply-typed case
• Title not available (Why is that?)
• Differential logical relations. II: Increments and derivatives
• Differentiable causal computations via delayed trace

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)