Linear-algebraic lambda-calculus: higher-order, encodings, and confluence
暂无分享,去创建一个
[1] Andr'e van Tonder,et al. Quantum Computation, Categorical Semantics and Linear Logic , 2003, ArXiv.
[2] Lov K. Grover,et al. Quantum computation , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
[3] W. Wootters,et al. A single quantum cannot be cloned , 1982, Nature.
[4] Gilles Dowek,et al. A computational definition of the notion of vectorial space , 2004, WRLA.
[5] Michael A. Nielsen,et al. Universal quantum computation using only projective measurement, quantum memory, and preparation of the 0 state , 2001 .
[6] Mark E. Stickel,et al. Complete Sets of Reductions for Some Equational Theories , 1981, JACM.
[7] Simon Perdrix. STATE TRANSFER INSTEAD OF TELEPORTATION IN MEASUREMENT-BASED QUANTUM COMPUTATION , 2005 .
[8] Thorsten Altenkirch,et al. An Algebra of Pure Quantum Programming , 2007, Electron. Notes Theor. Comput. Sci..
[9] Olivier Bournez,et al. Rewriting Logic and Probabilities , 2003, RTA.
[10] Peter W. Shor,et al. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..
[11] Hans J. Briegel,et al. The one-way quantum computer--a non-network model of quantum computation , 2001, quant-ph/0108118.
[12] Umesh V. Vazirani,et al. Quantum complexity theory , 1993, STOC.
[13] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .
[14] Samson Abramsky,et al. A categorical semantics of quantum protocols , 2004, LICS 2004.
[15] Catuscia Palamidessi,et al. Probabilistic Asynchronous pi-Calculus , 2000, FoSSaCS.
[16] O. Eichwald,et al. Ion swarm data for electrical discharge modeling in air and flue gas mixtures , 2003 .
[17] Laurent Regnier,et al. The differential lambda-calculus , 2003, Theor. Comput. Sci..
[18] Peter Selinger,et al. Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.
[19] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[20] Benoît Valiron,et al. A Lambda Calculus for Quantum Computation with Classical Control , 2005, TLCA.
[21] Hélène Kirchner,et al. Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..
[22] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[23] Daniel J. Dougherty. Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract) , 1991, RTA.
[24] Lionel Vaux. On Linear Combinations of lambda -Terms , 2007, RTA.
[25] D. Deutsch,et al. Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.
[26] André van Tonder,et al. A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..
[27] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[28] Daniel J. Dougherty. Adding Algebraic Rewriting to the Untyped Lambda Calculus , 1992, Inf. Comput..
[29] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[30] Philip Wadler. Call-by-Value Is Dual to Call-by-Name - Reloaded , 2005, RTA.
[31] Gilles Dowek,et al. Linear-algebraic lambda-calculus , 2005 .
[32] V. Roychowdhury,et al. On Universal and Fault-Tolerant Quantum Computing , 1999, quant-ph/9906054.
[33] Michael A. Nielsen,et al. Quantum computation by measurement and quantum memory , 2003 .
[34] Lov K. Grover. Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.
[35] Gérard Boudol,et al. Lambda-Calculi for (Strict) Parallel Functions , 1994, Inf. Comput..
[36] Samson Abramsky,et al. A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[37] Chris Hankin,et al. Probabilistic λ-calculus and Quantitative Program Analysis , 2004 .