default search action
5th QPL / 4th DCM @ ICALP 2008: Reykjavik, Iceland
- Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 - Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. 1-2 - Howard Barnum, Alexander Wilce:
Information Processing in Convex Operational Theories. 3-15 - Ed Blakey:
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How. 17-28 - Bob Coecke, Bill Edwards:
Toy Quantum Categories (Extended Abstract). 29-40 - Yannick Delbecque:
Game Semantics for Quantum Data. 41-57 - Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage:
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. 59-74 - Lorenzo Maccone:
The Thermodynamic Arrow-of-time and Quantum Mechanics. 75-79 - Keye Martin:
How to Randomly Flip a Quantum Bit. 81-97 - Simon Perdrix:
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. 99-111 - Peter Selinger:
Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). 113-119 - Benoît Valiron:
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). 121-128 - Jamie Vicary:
Categorical Formulation of Finite-dimensional C*-algebras. 129-145 - Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems. 147-154 - Ellie D'Hondt, Mehrnoosh Sadrzadeh:
Classical Knowledge for Quantum Security. 155-163 - Jonathan Grattage:
An Overview of QML With a Concrete Implementation in Haskell. 165-174 - Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny:
Verification of Quantum Protocols with a Probabilistic Model-Checker. 175-182 - Juliana Kaizer Vizzotto, André Rauber Du Bois:
Modelling Parallel Quantum Computing Using Transactional Memory. 183-190 - Larisse Voufo:
Quantum Circuits: From a Network to a One-Way Model. 191-210
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.