BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Differentiation in probabilistic coherence spaces Ehrhard, Thomas


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.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International