Probabilistic Stable Functions on Discrete Cones are Power Series (long version)

Raphaëlle Crubillé

We study the category Cstabm of measurable cones and measurable stable functions, which is a denotational model of an higher-order language with continuous probabilities and full r…