Probabilistic game semantics (2000)

by V Danos, R Harmer
Venue:Computer Science Society