The concurrent game semantics of Probabilistic PCF
Simon Castellan‚ Pierre Clairambault‚ Hugo Paquet and Glynn Winskel
Book Title
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2018‚ Oxford‚ UK‚ July 09−12‚ 2018
Pages
215–224
Year
2018