Search results for "QPL"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Ross Duncan, Simon Perdrix	Pivoting makes the ZX-calculus complete for real stabilizers.	QPL	2013	DBLP DOI BibTeX RDF
1	Tobias Fritz, Anthony Leverrier, Ana Belén Sainz	Probabilistic models on contextuality scenarios.	QPL	2013	DBLP DOI BibTeX RDF
1	Ross Duncan, Maxime Lucas	Verifying the Steane code with Quantomatic.	QPL	2013	DBLP DOI BibTeX RDF
1	Yoshihiro Maruyama	Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures.	QPL	2013	DBLP DOI BibTeX RDF
1	Anne Preller	From Logical to Distributional Models.	QPL	2013	DBLP DOI BibTeX RDF
1	Frank Roumen	Categorical characterizations of operator-valued measures.	QPL	2013	DBLP DOI BibTeX RDF
1	Joonwoo Bae	Distinguishability, Ensemble Steering, and the No-Signaling Principle.	QPL	2013	DBLP DOI BibTeX RDF
1	Peter Janotta, Raymond Lal	Non-locality in theories without the no-restriction hypothesis.	QPL	2013	DBLP DOI BibTeX RDF
1	Samson Abramsky, Adam Brandenburger, Andrei Savochkin	No-Signalling Is Equivalent To Free Choice of Measurements.	QPL	2013	DBLP DOI BibTeX RDF
1	Samson Abramsky, Carmen M. Constantin	A classification of multipartite states by degree of non-locality.	QPL	2013	DBLP DOI BibTeX RDF
1	Frank Roumen	Coalgebraic Quantum Computation.	QPL	2012	DBLP DOI BibTeX RDF
1	Ronnie Hermens	Speakable in quantum mechanics: babbling on.	QPL	2012	DBLP DOI BibTeX RDF
1	Urs Schreiber, Michael Shulman	Quantum Gauge Field Theory in Cohesive Homotopy Type Theory.	QPL	2012	DBLP DOI BibTeX RDF
1	Luca Bernardinello, Carlo Ferigato, Lucia Pomello	Between quantum logic and concurrency.	QPL	2012	DBLP DOI BibTeX RDF
1	Bob Coecke, Chris Heunen, Aleks Kissinger	Categories of Quantum and Classical Channels (extended abstract).	QPL	2012	DBLP DOI BibTeX RDF
1	Katie Barr, Viv Kendon	The expressive power of quantum walks in terms of language acceptance.	QPL	2012	DBLP DOI BibTeX RDF
1	Bas Spitters, Steven Vickers, Sander Wolters	Gelfand spectra in Grothendieck toposes using geometric mathematics.	QPL	2012	DBLP DOI BibTeX RDF
1	Simon J. Gay, Ittoop Vergheese Puthoor	Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols	QPL	2012	DBLP DOI BibTeX RDF
1	Benno van den Berg, Chris Heunen	No-go theorems for functorial localic spectra of noncommutative rings.	QPL	2011	DBLP DOI BibTeX RDF
1	Alex Lang, Bob Coecke	Trichromatic Open Digraphs for Understanding Qubits.	QPL	2011	DBLP DOI BibTeX RDF
1	Peter Janotta	Generalizations of Boxworld.	QPL	2011	DBLP DOI BibTeX RDF
1	Chris Heunen, Sergio Boixo	Completely positive classical structures and sequentializable quantum protocols.	QPL	2011	DBLP DOI BibTeX RDF
1	Samson Abramsky, Shane Mansfield, Rui Soares Barbosa	The Cohomology of Non-Locality and Contextuality	QPL	2011	DBLP DOI BibTeX RDF
1	Ugo Dal Lago, Claudia Faggian	On Multiplicative Linear Logic, Modality and Quantum Circuits	QPL	2011	DBLP DOI BibTeX RDF
1	Bart Jacobs 0001, Jorik Mandemaker	The Expectation Monad in Quantum Foundations.	QPL	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	QPL	2011	DBLP DOI BibTeX RDF
1	Anne Hillebrand	Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus	QPL	2011	DBLP DOI BibTeX RDF
1	Joost Nuiten	Bohrification of local nets.	QPL	2011	DBLP DOI BibTeX RDF
1	John V. Corbett	A Topos Theory Foundation for Quantum Mechanics.	QPL	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.	QPL	2011	DBLP DOI BibTeX RDF
1	James Barratt	On the Automation of Encoding Processes in the Quantum IO Monad	QPL	2011	DBLP DOI BibTeX RDF
1	Bertfried Fauser, Guillaume Raynaud, Steven Vickers	The Born rule as structure of spectral bundles (extended abstract).	QPL	2011	DBLP DOI BibTeX RDF
1	Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald	A Framework for Heterotic Computing	QPL	2011	DBLP DOI BibTeX RDF
1	Bob Coecke, Chris Heunen	Pictures of complete positivity in arbitrary dimension.	QPL	2011	DBLP DOI BibTeX RDF
1	Yun Shang, Xian Lu, Ruqian Lu	Turing machines based on unsharp quantum logic	QPL	2011	DBLP DOI BibTeX RDF
1	Kentaro Honda	Graphical Classification of Entangled Qutrits.	QPL	2011	DBLP DOI BibTeX RDF
1	Alexander Wilce	Symmetry and Self-Duality in Categories of Probabilistic Models	QPL	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.	QPL	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	QPL	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	QPL	2007	DBLP BibTeX RDF
1	Alexander S. Green, Thorsten Altenkirch	From Reversible to Irreversible Computations.	QPL	2006	DBLP DOI BibTeX RDF
1	Yannick Delbecque	A Quantum Game Semantics for the Measurement Calculus.	QPL	2006	DBLP DOI BibTeX RDF
1	Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry	Quantum Arrows in Haskell.	QPL	2006	DBLP DOI BibTeX RDF
1	Peter Selinger	Idempotents in Dagger Categories: (Extended Abstract).	QPL	2006	DBLP DOI BibTeX RDF
1	Bob Coecke	Axiomatic Description of Mixed States From Selinger's CPM-construction.	QPL	2006	DBLP DOI BibTeX RDF
1	Peter Selinger	Preface.	QPL	2006	DBLP DOI BibTeX RDF
1	Philippe Jorrand, Simon Perdrix	Towards a Quantum Calculus: (Work in Progress, Extended Abstract).	QPL	2006	DBLP DOI BibTeX RDF
1	Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou	Quantum Data and Control Made Easier.	QPL	2006	DBLP DOI BibTeX RDF
1	Bob Coecke, Éric Oliver Paquette	POVMs and Naimark's Theorem Without Sums.	QPL	2006	DBLP DOI BibTeX RDF
1	Alessandra Di Pierro, Herbert Wiklicky	Semantic Abstraction and Quantum Computation.	QPL	2006	DBLP DOI BibTeX RDF
1	Peter Selinger, Benoît Valiron	On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).	QPL	2006	DBLP DOI BibTeX RDF
1	Bob Coecke	De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure.	QPL	2005	DBLP DOI BibTeX RDF
1	Peter Selinger	Preface.	QPL	2005	DBLP DOI BibTeX RDF
1	Dominique Unruh	Quantum Programs With Classical Output Streams: (Extended Abstract).	QPL	2005	DBLP DOI BibTeX RDF
1	Peter Selinger	Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract).	QPL	2005	DBLP DOI BibTeX RDF
1	Paolo Zuliani	Quantum Programming With Mixed States.	QPL	2005	DBLP DOI BibTeX RDF
1	Vincent Danos, Elham Kashefi	Pauli Measurements are Universal.	QPL	2005	DBLP DOI BibTeX RDF
1	Rajagopal Nagarajan, Nikolaos Papanikolaou 0001, David Williams	Simulating and Compiling Code for the Sequential Quantum Random Access Machine.	QPL	2005	DBLP DOI BibTeX RDF
1	Pedro Adão, Paulo Mateus	A Process Algebra for Reasoning About Quantum Security.	QPL	2005	DBLP DOI BibTeX RDF
1	Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry	An Algebra of Pure Quantum Programming.	QPL	2005	DBLP DOI BibTeX RDF
1	Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden	Distributed Measurement-based Quantum Computation.	QPL	2005	DBLP DOI BibTeX RDF
1	Simon Perdrix	Quantum Patterns and Types for Entanglement and Separability.	QPL	2005	DBLP DOI BibTeX RDF

Publications at "QPL"( http://dblp.L3S.de/Venues/QPL )