Structuring quantum effects: Superoperators as arrows

Mathematical Structures in Computer Science

Volumn 16, Issue 3, 2006, Pages 453-468

  Vizzotto, Juliana ^a   Altenkirch, Thorsten ^b   Sabry, A M R ^c  

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

^b UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^c INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750716862     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005287     Document Type: Article

References (22)

1. Aharonov, D., Kitaev, A. and Nisan, N. (1998) Quantum circuits with mixed states. In: Proceedings of the thirtieth annual ACM symposium on Theory of computing, ACM Press 20-30.
2. Altenkirch, T. and Grattage, J. (2005) A functional quantum programming language. In: Proceedings of the Twentieth Annual IEEE Symposium on Logic in Computer Science, LICS 2005, IEEE Computer Society Press 249-258.
3. Altenkirch, T. and Reus, B. (1999) Monadic presentations of lambda terms using generalized inductive types. In: Computer Science Logic.
4. Bennett, C., Brassard, G., Crepeau, C., Jozsa, R., Peres, A. and Wootters, W. (1993) Teleporting an unknown quantum state via dual classical and EPR channels. Phys. Rev. Lett. 1895-1899.
5. Einstein, A., Podolsky, B. and Rosen, N. (1935) Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47 777-780.
6. Grattage, J. (2006) A functional quantum programming language, Ph.D. Thesis, The University of Nottingham (forthcoming).
7. Hughes, J. (2000) Generalising monads to arrows. Science of Computer Programming 37 67-111.
8. Karczmarczuk, J. (2003) Structure and interpretation of quantum mechanics: a functional framework. In: Proceedings of the ACM SIGPLAN workshop on Haskell, Uppsala, Sweden, ACM Press 50-61.
9. Knill, E. (1996) Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory.
10. Moggi, E. (1989) Computational lambda-calculus and monads. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science, LICS 1989, IEEE Press 14-23.
11. Mu, S. and Bird, R. (2001) Functional Quantum Programming. Second Asian Workshop on Programming Languages and Systems, KAIST, Korea.
12. Nielsen, M. A. and Chuang, I. L. (2000) Quantum Computation and Quantum Information, Cambridge University Press.
13. Ömer, B. (1998) A procedural formalism for quantum computing. Master's thesis, Department of Theoretical Physics, Technical University of Vienna.
14. Paterson, R. (2001) A New Notation for Arrows. In: Proceedings of International Conference on Functional Programming, Firenze, Italy, ACM Press 229-240.
15. Sabry, A. (2003) Modeling quantum computing in Haskell. In: Proceedings of the ACM SIGPLAN workshop on Haskell, ACM Press 39-49.
16. Selinger, P. (2004) Towards a quantum programming language. Mathematical Structures in Computer Science 14 (4) 527-586.
17. Selinger, P. and Valiron, B. (2006) A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16 (3) 527-552.
18. Skibinski, J. (2001) Haskell simulator of quantum computer. Available at http://web.archive. org/web/20010630025035/www.numeric-quest.com/haskell%/ QuantumComputer.html.
19. Valiron, B. (2004) Quantum typing. In: Selinger, P. (ed.) Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication 33, Turku Centre for Computer Science.
20. van Tonder, A. (2003) Quantum computation, categorical semantics and linear logic. Available as quant-ph/0312174.
21. van Tonder, A. (2004) A lambda calculus for quantum computation. SIAM Journal on Computing 33 (5) 1109-1135.
22. Vizzotto, J. K., Altenkirch, T. and Sabry, A. (2005) Haskell code for superoperators as arrows. http://www.inf.ufrgs.br/~jkv/super.tgz.