The concurrent game semantics of Probabilistic PCF - Archive ouverte HAL
Conference Papers Year : 2018

Dates and versions

hal-01886965 , version 1 (03-10-2018)

Identifiers

Cite

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⟩
102 View
0 Download

Altmetric

Share

More