Skip to Main content Skip to Navigation
New interface
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 Connect in order to contact the contributor
Submitted on : Wednesday, October 3, 2018 - 2:17:09 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM

Links full text

Identifiers

Collections

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

64