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

05/01/2018
by   Raphaëlle Crubillé, et al.
0

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 recursion. We look at Cstabm as a model for discrete probabilities, by showing the existence of a cartesian closed, full and faithful functor which embeds probabilistic coherence spaces (a fully abstract denotational model of an higher-order language with full recursion and discrete probabilities) into Cstabm. The proof is based on a generalization of Bernstein's theorem from real analysis allowing to see stable functions between discrete cones as generalized power series.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/13/2020

On the linear structure of cones

For encompassing the limitations of probabilistic coherence spaces which...
research
11/27/2017

Measurable Cones and Stable, Measurable Functions

We define a notion of stable and measurable map between cones endowed wi...
research
04/13/2021

Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case

We describe a mathematical structure that can give extensional denotatio...
research
05/31/2022

Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)

We study concrete sheaf models for a call-by-value higher-order language...
research
05/05/2021

Recursion and Sequentiality in Categories of Sheaves

We present a fully abstract model of a call-by-value language with highe...
research
03/27/2013

Do We Need Higher-Order Probabilities and, If So, What Do They Mean?

The apparent failure of individual probabilistic expressions to distingu...
research
08/11/2020

Upper approximating probabilities of convergence in probabilistic coherence spaces

We develop a theory of probabilistic coherence spaces equipped with an a...

Please sign up or login with your details

Forgot password? Click here to reset