1. P. Arrighi and G. Dowek. Operational semantics for a formal tensorial calculus. In Proceedings of the 2nd International Workshop on Quantum Programming Languages, 2004
2. A functional quantum programming language;Altenkirch,2005
3. Normalization by evaluation for λ→2;Altenkirch,2004
4. Quantum Computation and Quantum Information;Nielsen,2000
5. Towards a quantum programming language;Selinger;Mathematical Structures in Computer Science,2004