Skip to Main content Skip to Navigation
Conference papers

The concurrent game semantics of Probabilistic PCF

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01886965
Contributor : Pierre Clairambault <>
Submitted on : Wednesday, October 3, 2018 - 2:17:09 PM
Last modification on : Monday, March 29, 2021 - 2:46:58 PM

Links full text

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

142