A lambda calculus for quantum computation with classical control

Lecture Notes in Computer Science

Volumn 3461, Issue , 2005, Pages 354-368

  Selinger, Peter ^a   Valiron, Benoît ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONTROL THEORY; FLOWCHARTING; LINEAR PROGRAMMING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; QUANTUM THEORY; SEMANTICS;

CLASSICAL CONTROL MODELS; FUNCTIONAL PROGRAMMING LANGUAGES; QUANTUM COMPUTATION; QUANTUM COMPUTERS;

COMPUTATION THEORY;

EID: 24944508666     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11417170_26     Document Type: Conference Paper

References (15)

1. T. Altenkirch and J. Grattage. A functional quantum programming language. Available from arXiv:quant-ph/0409065, 2004.
2. H. P. Barendregt. The Lambda-Calculus, its Syntax and Semantics, volume 103 of Studies in Logic and the Foundation of Mathematics. North Holland, second edition, 1984.
3. P. Benioff. The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines. Journal of Statistical Physics, 22:563-591, 1980.
4. S. Bettelli, T. Calarco, and L. Serafini. Toward an architecture for quantum programming. The European Physical Journal D, 25(2): 181-200, August 2003.
5. V. Danos, J.-B. Joinet, and H. Schellinx. On the linear decoration of intuitionistic derivations. Archive for Mathematical Logic, 33:387-412, 1995.
6. D. Deutsch. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 400(1818):97-117, July 1985.
7. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50(1): 1-101, 1987.
8. E. Knill. Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory, 1996.
9. M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2002.
10. J. Preskill. Lecture notes for Physics 229, quantum computation. Available from http://www.theory.caltech.edu/people/preskill/ph229/#lecture, 1999.
11. J. W. Sanders and P. Zuliani. Quantum programming. In R. Backhouse and J. N. Oliveira, editors, Mathematics of Program Construction: 5th International Conference, volume 1837 of Lecture Notes in Computer Science, pages 80-99, Ponte de Lima, Portugal, July 2000. Springer-Verlag.
12. P. Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science, 14(4):527-586, 2004.
13. Benoît Valiron. A functional programming language for quantum computation with classical control. Master's thesis, University of Ottawa, September 2004.
14. A. van Tonder. Quantum computation, categorical semantics and linear logic. On arXiv:quant-ph/0312174, 2003.
15. A. van Tonder. A lambda calculus for quantum computation. SIAM Journal of Computing, 33(5):1109-1135, 2004. Available from arXiv:quant-ph/0307150.