Conference Papers Year : 2021

Differentiation in probabilistic coherence spaces

Abstract

Probabilistic coherence spaces are a model of classical linear logic but not a model of differential linear logic. Nevertheless differentiation is a perfectly meaningful operation in this model. I will explain its meaning, some of its properties and present a tentative categorical axiomatization of this operation.

No file

Dates and versions

hal-03425428 , version 1 (10-11-2021)

Identifiers

  • HAL Id : hal-03425428 , version 1

Cite

Thomas Ehrhard. Differentiation in probabilistic coherence spaces. Tangent Categories and their Applications, Robin Cockett (University of Calgary), Kristine Bauer (University of Calgary), Geoffrey Cruttwell (Mount Allison University), Jun 2021, online, Canada. ⟨hal-03425428⟩
39 View
0 Download

Share

  • More