暂无分享,去创建一个
[1] W. Wootters,et al. A single quantum cannot be cloned , 1982, Nature.
[2] Benoît Valiron,et al. Quipper: a scalable quantum programming language , 2013, PLDI.
[3] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.
[4] Robert Glück,et al. Join inverse categories and reversible recursion , 2017, J. Log. Algebraic Methods Program..
[5] Jennifer Paykin,et al. QWIRE: a core language for quantum circuits , 2017, POPL.
[6] Simon Perdrix,et al. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus , 2014, Log. Methods Comput. Sci..
[7] Roshan P. James. Theseus : A High Level Language for Reversible Computing , 2014 .
[8] Prakash Panangaden,et al. Quantum Alternation: Prospects and Problems , 2015, QPL.
[9] Gilles Dowek,et al. Lineal: A linear-algebraic Lambda-calculus , 2017, Log. Methods Comput. Sci..
[10] André van Tonder,et al. A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..
[11] Lionel Vaux. The algebraic lambda calculus , 2009, Math. Struct. Comput. Sci..
[12] Juliana Kaizer Vizzotto,et al. From Symmetric Pattern-Matching to Quantum Control , 2018, FoSSaCS.
[13] Benoît Valiron,et al. The vectorial λ-calculus , 2017, Inf. Comput..
[14] Peter Selinger,et al. Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.
[15] Mingsheng Ying,et al. Foundations of Quantum Programming , 2016 .
[16] Benoît Valiron,et al. The Vectorial Lambda-Calculus , 2013, ArXiv.
[17] M. Zwaan. An introduction to hilbert space , 1990 .
[18] Thorsten Altenkirch,et al. Structuring quantum effects: superoperators as arrows , 2006, Math. Struct. Comput. Sci..
[19] Robert Glück,et al. A categorical foundation for structured reversible flowchart languages: Soundness and adequacy , 2018, Log. Methods Comput. Sci..
[20] Jonathan Grattage. A functional quantum programming language , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).