Communication Dans Un Congrès Année : 2021

Differentiation in probabilistic coherence spaces

Résumé

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.

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03425428 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

  • More