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