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
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.