Thomas Ehrhard, Video: Differentiation in probabilistic coherence spaces
Thomas Ehrhard, Video: Differentiation in probabilistic coherence spaces
Thomas Ehrhard, Differentiation in probabilistic coherence spaces, Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video