An Algebra of Pure Quantum Programming

Electronic Notes in Theoretical Computer Science

Volumn 170, Issue , 2007, Pages 23-47

  Altenkirch, Thorsten ^a   Grattage, Jonathan ^a   Vizzotto, Juliana K ^b   Sabry, Amr ^c  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^c INDIANA UNIVERSITY   (United States)

Author keywords

completeness; Denotational semantics; normalisation

Indexed keywords

ALGORITHMS; FUNCTION EVALUATION; MEASUREMENT THEORY; QUANTUM THEORY; SEMANTICS;

DENOTATIONAL SEMANTICS; EQUATIONAL THEORY; NORMALISATION; QUANTUM PROGRAMMING LANGUAGES (QPL);

COMPUTER PROGRAMMING LANGUAGES;

EID: 33847330089     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.12.010     Document Type: Article

References (8)

1. nd International Workshop on Quantum Programming Languages, 2004
2. Altenkirch T., and Grattage J. A functional quantum programming language. In: Panangaden P. (Ed). Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science. LICS 2005 (June 2005), IEEE Computer Society Press 249-258
3. → 2. Functional and Logic Programming. LNCS number 2998 (2004), Springer-Verlag 260-275
4. Nielsen M., and Chuang I. Quantum Computation and Quantum Information (2000), Cambridge University Press, Cambridge
5. Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science 14 4 (2004) 527-586
6. Selinger P., and Valiron B. A lambda calculus for quantum computation with classical control. Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications. (TLCA). LNCS 3461 (2005), Springer-Verlag 354-368
7. van Tonder A. Quantum computation, categorical semantics and linear logic. Available as (2003). arXiv:quant-ph/0312174
8. van Tonder A. A lambda calculus for quantum computation. SIAM Journal on Computing 33 5 (2004) 1109-1135