UC
2007
Springer
14 years 1 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...
UC
2007
Springer
14 years 1 months ago
2007
Springer
UC
2007
Springer
14 years 1 months ago
2007
Springer
UC
2007
Springer
14 years 1 months ago
2007
Springer
UC
2007
Springer
14 years 1 months ago
2007
Springer
Quantum key distributionalgorithmsuse a quantum communicationchannel with quantum information and a classical communication channel for binary information. The classical channel, ...