![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
9th QPL 2012: Brussels, Belgium
- Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 - Bob Coecke, Chris Heunen, Aleks Kissinger
:
Categories of Quantum and Classical Channels (extended abstract). 1-14 - Simon J. Gay, Ittoop Vergheese Puthoor:
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols. 15-28 - Frank Roumen:
Coalgebraic Quantum Computation. 29-38 - Katie Barr, Viv Kendon
:
The expressive power of quantum walks in terms of language acceptance. 39-51 - Ronnie Hermens:
Speakable in quantum mechanics: babbling on. 53-64 - Luca Bernardinello, Carlo Ferigato, Lucia Pomello:
Between quantum logic and concurrency. 65-75 - Bas Spitters
, Steven Vickers, Sander Wolters:
Gelfand spectra in Grothendieck toposes using geometric mathematics. 77-107 - Urs Schreiber, Michael Shulman:
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. 109-126
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.