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 differential linear logic and of the differential lambda-calculus are compatible with determinism. Indeed, due to the Leibniz rule of the differential calculus, differential linear logic and the differential lambda-calculus feature an operation of addition of proofs or terms operationally interpreted as a strong form of nondeterminism. The main idea of coherent differentiation is that these sums can be controlled and kept in the realm of determinism by means of a notion of summability, upon enforcing summability restrictions on the derivatives which can be written in the models and in the syntax.

翻译：在本文综述中，我们以统一的方式介绍了近期提出的相干微分的范畴与句法设定，该理论表明微分线性逻辑与微分λ-演算的基本思想与确定性是相容的。事实上，由于微积分的莱布尼茨法则，微分线性逻辑与微分λ-演算具有证明或项的加法运算，其在操作上被解释为一种强非确定性形式。相干微分的核心思想在于：通过对模型与语法中可写导数施加可和性限制，这些和能够被控制并保持在确定性的范畴内。