3rd International Workshop on Quantum Programming Languages
June 30 - July 1, 2005, Chicago, U.S.A.
- Hans J. Briegel (Innsbruck)
"What is a quantum computation?"
- P. Adão, P. Mateus
"A process algebra for reasoning about quantum security"
- T. Altenkirch, J. Grattage, J. K. Vizzotto, A. Sabry
"An algebra of pure quantum programming"
- B. Coecke
"De-linearizing linearity: projective quantum axiomatics from strong compact closure"
- V. Danos, E. D'Hondt, E. Kashefi, P. Panangaden
"Distributed measurement-based quantum computation"
- V. Danos, E. Kashefi
"Pauli measurements are universal"
- R. Nagarajan, N. Papanikolaou, D. Williams
"Simulating and compiling code for the Sequential Quantum Random Access Machine"
- S. Perdrix
"Quantum patterns and types for entanglement and separability"
- P. Selinger
"Dagger compact closed categories and completely positive maps"
- D. Unruh
"Quantum programs with classical output streams"
- P. Zuliani
"Quantum programming with mixed states"