 |
 |
|
|
| HAL : hal-00629723, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| IEEE symposium of Logic In Computer Science, Toronto : Canada (2011) |
|
|
|
|
| Continuous Random Variables |
|
|
| Jean Goubault-Larrecq 1, 2Daniele Varacca 3 |
|
|
| (30/06/2011) |
|
|
|
| We introduce the domain of continuous random variables (CRV) over a domain, as an alternative to Jones and Plotkin's probabilistic power domain. While no known Cartesian-closed category is stable under the latter, we show that the so-called thin (uniform) CRVs define a strong monad on the Cartesian-closed category of bc-domains. We also characterize their inequational theory, as (fair-)coin algebras. We apply this to solve a recent problem posed by M. Escardo: testing is semi-decidable for EPCF terms. CRVs arose from the study of the second author's (layered) Hoare indexed valuations, and we also make the connection apparent. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Spécification et Vérification [Cachan] (LSV) |
|
|
|
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan |
|
|
| 2 : | SECSI (INRIA Saclay - Ile de France) |
|
|
|
INRIA – CNRS : UMR8643 – École normale supérieure de Cachan - ENS Cachan |
|
|
| 3 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Théorie et langage formel |
| hal-00629723, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00629723 | |
| oai:hal.archives-ouvertes.fr:hal-00629723 | |
| Contributeur : Daniele Varacca | |
| Soumis le : Jeudi 6 Octobre 2011, 14:58:53 | |
| Dernière modification le : Jeudi 6 Octobre 2011, 14:58:53 | |
