Coherent differentiation
| Autor: | Thomas Ehrhard |
|---|---|
| Přispěvatelé: | Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019) |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] lambda-calculus differential lambda-calculus Logic in Computer Science (cs.LO) Computer Science Applications tangent categories Mathematics (miscellaneous) TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science linear logic ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION differential categories |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|