Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
From Differential Linear Logic to Coherent Differentiation
Thomas Ehrhard
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differenti…
cs.LO2023
Coherent Taylor expansion as a bimonad
Thomas Ehrhard, Aymeric Walch
We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necess…