On probabilistic coherence spaces (2008)

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