Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
van Tonder, André
2004.
A Lambda Calculus for Quantum Computation.
SIAM Journal on Computing,
Vol. 33,
Issue. 5,
p.
1109.
Abramsky, S.
and
Coecke, B.
2004.
A categorical semantics of quantum protocols.
p.
415.
Jorrand, Philippe
and
Lalire, Marie
2004.
Toward a quantum process algebra.
p.
111.
Abramsky, S.
2004.
High-level methods for quantum computation and information.
p.
410.
Selinger, Peter
2004.
Functional and Logic Programming.
Vol. 2998,
Issue. ,
p.
1.
Selinger, Peter
and
Valiron, Benoît
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
354.
Gay, Simon J.
and
Nagarajan, Rajagopal
2005.
Communicating quantum processes.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 1,
p.
145.
Altenkirch, T.
and
Grattage, J.
2005.
A Functional Quantum Programming Language.
p.
249.
Gay, Simon J.
and
Nagarajan, Rajagopal
2005.
Communicating quantum processes.
p.
145.
Abramsky, Samson
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
1.
Kanamori, Y.
Yoo, S.-M.
Pan, W.D.
and
Sheldon, F.T.
2006.
A SHORT SURVEY ON QUANTUM COMPUTERS.
International Journal of Computers and Applications,
Vol. 28,
Issue. 3,
Khusnitdinova, Evgeniya
and
Say, A. C. Cem
2006.
Computer and Information Sciences – ISCIS 2006.
Vol. 4263,
Issue. ,
p.
1040.
Kanamori, Y.
Yoo, S.-M.
Pan, W.D.
and
Sheldon, F.T.
2006.
A Short Survey On Quantum Computers.
International Journal of Computers and Applications,
Vol. 28,
Issue. 3,
p.
227.
Tafliovich, Anya
and
Hehner, Eric C. R.
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
433.
Danos, Vincent
Kashefi, Elham
and
Panangaden, Prakash
2006.
Automata, Languages and Programming.
Vol. 4052,
Issue. ,
p.
13.
Duan, Run-Yao
Ji, Zheng-Feng
Feng, Yuan
and
Ying, Ming-Sheng
2006.
Some Issues in Quantum Information Theory.
Journal of Computer Science and Technology,
Vol. 21,
Issue. 5,
p.
776.
Unruh, Dominique
2006.
Quantum programming languages.
Informatik - Forschung und Entwicklung,
Vol. 21,
Issue. 1-2,
p.
55.
Nagarajan, Rajagopal
Papanikolaou, Nikolaos
and
Williams, David
2007.
Simulating and Compiling Code for the Sequential Quantum Random Access Machine.
Electronic Notes in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
101.
Altenkirch, Thorsten
Grattage, Jonathan
Vizzotto, Juliana K.
and
Sabry, Amr
2007.
An Algebra of Pure Quantum Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
23.
Danos, Vincent
Kashefi, Elham
and
Panangaden, Prakash
2007.
The measurement calculus.
Journal of the ACM,
Vol. 54,
Issue. 2,
p.
8.