On probabilistic coherence spaces (2008)

by Vincent Danos , Thomas Ehrhard
Citations:2 - 0 self