Stable, measurable functions and probabilistic programs
In 2014, we proved that the denotational model PCoh of probabilistic coherence spaces and entire functions is fully abstract with respect to the functional “ideal” language PCF enriched with discrete probabilistic distributions (such as a term “coin” evaluating to true … Continue reading
Posted in Uncategorized
Comments Off on Stable, measurable functions and probabilistic programs