default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd QPL 2005: Chicago, IL, USA
- Peter Selinger:
Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005. Electronic Notes in Theoretical Computer Science 170, Elsevier 2007 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
