Quantum typing
暂无分享,去创建一个
[1] Andr'e van Tonder,et al. Quantum Computation, Categorical Semantics and Linear Logic , 2003, ArXiv.
[2] D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[3] Luciano Serafini,et al. Toward an architecture for quantum programming , 2001, ArXiv.
[4] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[5] Peter Selinger,et al. Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.
[6] P. Benioff. The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines , 1980 .
[7] André van Tonder,et al. A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..