On probabilistic coherence spaces (2008)

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

Document Versions

On probabilistic coherence spaces –Vincent Danos, Thomas Ehrhard — 2008
On probabilistic coherence spaces –Vincent Danos, Thomas Ehrhard — 2008