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: |