Volume 210, July 2008
Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006)
- Peter Selinger:
Preface.
1-2
- Bob Coecke:
Axiomatic Description of Mixed States From Selinger's CPM-construction.
3-13
- Bob Coecke, Éric Oliver Paquette:
POVMs and Naimark's Theorem Without Sums.
15-31
- Yannick Delbecque:
A Quantum Game Semantics for the Measurement Calculus.
33-48
- Alessandra Di Pierro, Herbert Wiklicky:
Semantic Abstraction and Quantum Computation.
49-63
- Alexander S. Green, Thorsten Altenkirch:
From Reversible to Irreversible Computations.
65-74
- Philippe Jorrand, Simon Perdrix:
Towards a Quantum Calculus: (Work in Progress, Extended Abstract).
75-83
- Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou:
Quantum Data and Control Made Easier.
85-105
- Peter Selinger:
Idempotents in Dagger Categories: (Extended Abstract).
107-122
- Peter Selinger, Benoît Valiron:
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).
123-137
- Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry:
Quantum Arrows in Haskell.
139-152
Last update Thu May 23 18:45:17 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
