The concurrent game semantics of Probabilistic PCF.

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel

Browse the full LICS paper archive.