Probabilistic coherence spaces are fully abstract for probabilistic PCF.

Thomas Ehrhard, Christine Tasson, Michele Pagani

Browse the full POPL paper archive.