Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ross Duncan, Simon Perdrix |
Pivoting makes the ZX-calculus complete for real stabilizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 50-62, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Fritz, Anthony Leverrier, Ana Belén Sainz |
Probabilistic models on contextuality scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 63-70, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ross Duncan, Maxime Lucas |
Verifying the Steane code with Quantomatic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 33-49, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Maruyama |
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 100-112, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anne Preller |
From Logical to Distributional Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 113-131, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frank Roumen |
Categorical characterizations of operator-valued measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 132-144, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joonwoo Bae |
Distinguishability, Ensemble Steering, and the No-Signaling Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 26-32, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Janotta, Raymond Lal |
Non-locality in theories without the no-restriction hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 84-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Adam Brandenburger, Andrei Savochkin |
No-Signalling Is Equivalent To Free Choice of Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 1-9, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Carmen M. Constantin |
A classification of multipartite states by degree of non-locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013., pp. 10-25, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frank Roumen |
Coalgebraic Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 29-38, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ronnie Hermens |
Speakable in quantum mechanics: babbling on. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 53-64, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Urs Schreiber, Michael Shulman |
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 109-126, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bernardinello, Carlo Ferigato, Lucia Pomello |
Between quantum logic and concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 65-75, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Chris Heunen, Aleks Kissinger |
Categories of Quantum and Classical Channels (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 1-14, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Katie Barr, Viv Kendon |
The expressive power of quantum walks in terms of language acceptance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 39-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bas Spitters, Steven Vickers, Sander Wolters |
Gelfand spectra in Grothendieck toposes using geometric mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 77-107, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Ittoop Vergheese Puthoor |
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 15-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benno van den Berg, Chris Heunen |
No-go theorems for functorial localic spectra of noncommutative rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 21-25, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alex Lang, Bob Coecke |
Trichromatic Open Digraphs for Understanding Qubits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 193-209, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Janotta |
Generalizations of Boxworld. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 183-192, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Sergio Boixo |
Completely positive classical structures and sequentializable quantum protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 91-101, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Shane Mansfield, Rui Soares Barbosa |
The Cohomology of Non-Locality and Contextuality ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 1-14, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Claudia Faggian |
On Multiplicative Linear Logic, Modality and Quantum Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 55-66, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Jorik Mandemaker |
The Expectation Monad in Quantum Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 143-182, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor |
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 67-80, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anne Hillebrand |
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 103-121, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joost Nuiten |
Bohrification of local nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 211-218, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John V. Corbett |
A Topos Theory Foundation for Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 37-53, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Peter Selinger, Bas Spitters (eds.) |
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | James Barratt |
On the Automation of Encoding Processes in the Quantum IO Monad ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 15-19, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bertfried Fauser, Guillaume Raynaud, Steven Vickers |
The Born rule as structure of spectral bundles (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 81-90, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald |
A Framework for Heterotic Computing ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 263-273, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Chris Heunen |
Pictures of complete positivity in arbitrary dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 27-35, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yun Shang, Xian Lu, Ruqian Lu |
Turing machines based on unsharp quantum logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 251-261, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Honda |
Graphical Classification of Entangled Qutrits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 123-141, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Wilce |
Symmetry and Self-Duality in Categories of Probabilistic Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 275-279, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Raussendorf, Pradeep Kiran Sarvepalli, Tzu-Chieh Wei, Poya Haghnegahdar |
Symmetry constraints on temporal order in measurement-based quantum computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011., pp. 219-250, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger (eds.) |
Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Peter Selinger (eds.) |
Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Alexander S. Green, Thorsten Altenkirch |
From Reversible to Irreversible Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 65-74, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Delbecque |
A Quantum Game Semantics for the Measurement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 33-48, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry |
Quantum Arrows in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 139-152, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Idempotents in Dagger Categories: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 107-122, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke |
Axiomatic Description of Mixed States From Selinger's CPM-construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 3-13, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Jorrand, Simon Perdrix |
Towards a Quantum Calculus: (Work in Progress, Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 75-83, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou |
Quantum Data and Control Made Easier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 85-105, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Éric Oliver Paquette |
POVMs and Naimark's Theorem Without Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 15-31, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Herbert Wiklicky |
Semantic Abstraction and Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 49-63, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger, Benoît Valiron |
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006, pp. 123-137, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke |
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 49-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Unruh |
Quantum Programs With Classical Output Streams: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 165-184, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 139-163, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Zuliani |
Quantum Programming With Mixed States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 185-199, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Elham Kashefi |
Pauli Measurements are Universal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 95-100, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajagopal Nagarajan, Nikolaos Papanikolaou 0001, David Williams |
Simulating and Compiling Code for the Sequential Quantum Random Access Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 101-124, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Adão, Paulo Mateus |
A Process Algebra for Reasoning About Quantum Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 3-21, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry |
An Algebra of Pure Quantum Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 23-47, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden |
Distributed Measurement-based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 73-94, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Simon Perdrix |
Quantum Patterns and Types for Entanglement and Separability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005, pp. 125-138, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|