Volume 170, March 2007

Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)

• 
  Peter Selinger: Preface. 1
• 
  Pedro Adão, Paulo Mateus: A Process Algebra for Reasoning About Quantum Security. 3-21
• 
  Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry: An Algebra of Pure Quantum Programming. 23-47
• 
  Bob Coecke: De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. 49-72
• 
  Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. 73-94
• 
  Vincent Danos, Elham Kashefi: Pauli Measurements are Universal. 95-100
• 
  Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams: Simulating and Compiling Code for the Sequential Quantum Random Access Machine. 101-124
• 
  Simon Perdrix: Quantum Patterns and Types for Entanglement and Separability. 125-138
• 
  Peter Selinger: Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). 139-163
• 
  Dominique Unruh: Quantum Programs With Classical Output Streams: (Extended Abstract). 165-184
• 
  Paolo Zuliani: Quantum Programming With Mixed States. 185-199