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: | ![]() |
