121
click to vote
UC
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
109
Voted
UC
2007
Springer
15 years 10 months ago
2007
Springer
142
Voted
UC
2007
Springer
15 years 10 months ago
2007
Springer
Quantum key distributionalgorithmsuse a quantum communicationchannel with quantum information and a classical communication channel for binary information. The classical channel, ...