4th International Workshop on Quantum Programming Languages
July 17-19, 2006, Oxford
- Sam Lomonaco
- Samson Abramsky
- Simon Gay
- B. Coecke,
"Axiomatic description of mixed states from Selinger's CPM
- B. Coecke, E.O. Paquette,
"POVMs and Naimark's theorem without sums"
- Y. Delbecque,
"A Quantum Game Semantics for the Measurement Calculus"
- A. Di Pierro, H. Wiklicky,
"Semantic Abstraction and Quantum Computation (Extended Abstract)"
- A.S. Green, T. Altenkirch,
"From reversible to irreversible computations"
- P. Jorrand, S. Perdrix,
"A Quantum Calculus (Work in Progress)"
- M. Lampis, K.G. Ginis, N.S. Papaspyrou,
"Quantum Data and Control Made Easier"
- P. Selinger,
"Idempotents in dagger categories"
- P. Selinger, B. Valiron,
"On a fully abstract model for a quantum linear functional
- J.K. Vizzotto, A.C. da Rocha Costa, A. Sabry,
"Quantum Arrows in Haskell"