|
56
|
Quantum Programming
– J. W. Sanders, P. Zuliani
- 1999
|
|
1123
|
Quantum Computation and Quantum Information
– M A Nielsen, I L Chuang
- 2000
|
|
91
|
Towards a quantum programming language
– Peter Selinger
- 2004
|
|
36
|
Toward An Architecture For Quantum Programming
– S. Bettelli, T. Calarco, L. Serafini
- 2003
|
|
23
|
A procedural formalism for quantum computing
– Bernhard Ömer
- 1998
|
|
713
|
Algorithms for Quantum Computation: Discrete Logarithms and Factoring
– Peter W. Shor
- 1994
|
|
23
|
Quantum computation, categorical semantics and linear logic. quant-ph/0312174
– A van Tonder
- 2003
|
|
35
|
A functional quantum programming language
– Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
- 2005
|
|
38
|
A lambda calculus for quantum computation
– André Van Tonder
|
|
34
|
A lambda calculus for quantum computation with classical control
– Peter Selinger, Benoît Valiron
- 2005
|
|
734
|
A Fast Quantum Mechanical Algorithm for Database Search
– Lov K. Grover
- 1996
|
|
15
|
Modeling quantum computing in haskell
– A Sabry
- 2003
|
|
584
|
Quantum theory, the Church-Turing principle and the universal quantum computer
– David Deutsch
- 1985
|
|
22
|
Weakly complete axiomatization of exogenous quantum propositional logic
– P. Mateus, A. Sernadas
- 2006
|
|
22
|
Quantum Weakest Preconditions
– Ellie D'Hondt, Prakash Panangaden
- 2005
|
|
147
|
Quantum Computing
– J Gruska
- 1999
|
|
33
|
Communicating quantum processes
– Simon J. Gay
- 2005
|
|
10
|
Structure and Interpretation of Quantum Mechanics - a Functional Framework
– Jerzy Karczmarczuk
- 2003
|
|
122
|
A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke
|
