Preliminary Proceedings of the 4th International Workshop on Quantum Programming Languages

July 17-19, 2006, Oxford

Peter Selinger (editor)

The final version was published in Electronic Notes in Theoretical Computer Science, volume 210, pages 1-152, 2008.

Front matter Preface. [pdf] . . . . . . . . . v Table of Contents. [pdf] . . . . . . . . vii Articles B. Coecke Axiomatic description of mixed states from Selinger's CPM construction [pdf] . . . . . . 1-10 B. Coecke, E. O. Paquette POVMs and Naimark's theorem without sums [pdf] . . . . . 11-22 Y. Delbecque A quantum game semantics for the measurement calculus [pdf] . . . . . 23-38 A. Di Pierro, H. Wiklicky Semantic abstraction and quantum computation [pdf] . . . . . 39-52 A. S. Green, T. Altenkirch From reversible to irreversible computations [pdf] . . . . . 53-62 P. Jorrand, S. Perdrix Towards a quantum calculus [pdf] . . . . . 63-71 M. Lampis, K. G. Ginis, N. S. Papaspyrou Quantum data and control made easier [pdf] . . . . . 73-86 P. Selinger Idempotents in dagger categories [pdf] . . . . 87-101 P. Selinger, B. Valiron On a fully abstract model for a quantum linear functional language [pdf] . . . 103-115 J. K. Vizzotto, A. C. da Rocha Costa, A. Sabry Quantum arrows in Haskell [pdf] . . . 117-130

Back to the QPL 2006 home page.