Author or contributor

Probabilistic coherence spaces are fully abstract for probabilistic PCF

Resource type
Authors/contributors
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
Processing time: 0.01 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references