This page shows all presentations of this author published in EasyChair Smart Slide.
The concurrent game semantics of Probabilistic PCF
Simon Castellan, Pierre Clairambault, Hugo Paquet and Glynn Winskel