Cartesian coherent differential categories

DOI10.1109/LICS56636.2023.10175717MaRDI QIDQ6851654zbMATH OpenFDO

Authors Ehrhard Thomas, Walch Aymeric

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175717

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(3)

• Combining fixpoint and differentiation theory
• Coherent Taylor expansion as a bimonad
• From differential linear logic to coherent differentiation

This page was built for publication: Cartesian coherent differential categories

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