On probabilistic coherence spaces (2008)

by Vincent Danos, Thomas Ehrhard