1932 search results - page 6 / 387 » A Functional Quantum Programming Language |
151
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
CPHYSICS
2007
14 years 9 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
92
Voted
ENTCS
2006
14 years 9 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
95
Voted
ENTCS
2011
14 years 4 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
62
Voted
ICALP
2010
Springer
14 years 8 months ago
2010
Springer