We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Coherent differentiation.
- Authors
Ehrhard, Thomas
- Abstract
The categorical models of differential linear logic (LL) are additive categories and those of the differential lambda-calculus are left-additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential LL are concerned, these models feature finite nondeterminism and indeed these languages are essentially non-deterministic. We introduce a categorical framework for differentiation which does not require additivity and is compatible with deterministic models such as coherence spaces and probabilistic models such as probabilistic coherence spaces.
- Subjects
DIFFERENTIAL calculus; LOGIC
- Publication
Mathematical Structures in Computer Science, 2023, Vol 33, Issue 4/5, p259
- ISSN
0960-1295
- Publication type
Article
- DOI
10.1017/S0960129523000129