Probabilistic coherence spaces as a model of higher-order probabilistic computation (2011)

by Vincent Danos, Thomas Ehrhard
Venue:Inform. Comput