FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Probabilistic stable functions on discrete cones are power series.

Author: Raphaëlle Crubillé

Paper Information

Title:Probabilistic stable functions on discrete cones are power series.
Authors:Raphaëlle Crubillé
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:Lambda calculus, Probabilistic computation, Denotational semantics
Abstract:

ABSTRACT. We study the category Cstabm of measurable cones and measurable stable functions—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 full, faithful and cartesian closed functor which embeds probabilistic coherence spaces—a fully abstract denotational model of an higher language with full recursion and discrete probabilities—into Cstabm. The proof is based on a generalization of Bernstein’s theorem in real analysis allowing to see stable functions between some cones as generalized power series.

Pages:10
Talk:Jul 12 14:00 (Session 76F)
Paper: