The concurrent game semantics of Probabilistic PCF

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01886965
Contributor : Pierre Clairambault <>
Submitted on : Wednesday, October 3, 2018 - 2:17:09 PM
Last modification on : Monday, April 15, 2019 - 9:44:46 AM

Identifiers

Citation

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel. The concurrent game semantics of Probabilistic PCF. the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩. ⟨hal-01886965⟩

Share

Metrics

Record views

32