Your search
PROGRAMMING LANGUAGES
Publication year
Online resource
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Resource type
Authors/contributors
- Ehrhard, Thomas (Author)
- Tasson, Christine (Author)
- Pagani, Michele (Author)
Title
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Abstract
Probabilistic coherence spaces (PCoh) yield a semantics of higherorder probabilistic computation, interpreting types as convex sets and programs as power series. We prove that the equality of interpretations in PCoh characterizes the operational indistinguishability of programs in PCF with a random primitive.
Date
2014
Proceedings Title
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14
Conference Name
the 41st ACM SIGPLAN-SIGACT Symposium
Place
San Diego, California, USA
Publisher
ACM Press
Pages
309-320
Language
en
DOI
10/ggdf9x
ISBN
978-1-4503-2544-8
Accessed
2019-11-22T17:00:49Z
Library Catalog
Crossref
Extra
ZSCC: 0000060
Citation
Ehrhard, T., Tasson, C., & Pagani, M. (2014). Probabilistic coherence spaces are fully abstract for probabilistic PCF. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL ’14 (pp. 309–320). San Diego, California, USA: ACM Press. https://doi.org/10/ggdf9x
CATEGORICAL LOGIC
PROGRAMMING LANGUAGES
Link to this record
