Den klassiska lambdakalkylen kan betraktas både som ett programmeringsspråk och som ett formellt algebraiskt system för resonemang om beräkning. Den ger en beräkningsmodell som motsvarar Turingmaskinen och fortsätter att vara till enorm nytta i den klassiska beräkningsteorin. Vi föreslår att kvantberäkning, liksom dess klassiska motsvarighet, kan dra nytta av en version av lambdakalkylen lämplig för att uttrycka och resonera om kvantalgoritmer. I detta papper utvecklar vi en kvantlambda-kalkyl som en alternativ modell för kvantberäkning, som kombinerar några av fördelarna med både kvant Turing-maskinen och kvantkretsmodellerna. Analysen visar sig vara nära relaterad till den linjära lambdaanalys som används i studien av Linear Logic. Vi sätter upp en beräkningsmodell och ett ekvationssäkert system för denna kalkyl, och vi hävdar att det är likvärdigt med kvant Turing maskin.
I själva verket är den otypade kvantlambda-kalkylen av REF universell och likvärdig med kvant Turing-maskinen (som inte heller har några mätningar primitiva).
A Lambda Calculus for Quantum Computation
{'venue': 'SIAM J.Comput. 33 (2004) 1109-1135', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Physics']}