Probabilistic coherence spaces as a mode
✍
Vincent Danos; Thomas Ehrhard
📂
Article
📅
2011
🏛
Elsevier Science
🌐
English
⚖ 486 KB