Higher semantics of quantum protocols
We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the result...
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
Institute of Electrical and Electronics Engineers
2012
|