Travelled to:
1 × Croatia
1 × USA
Collaborated with:
∅
Talks about:
quantum (2) algorithm (1) structur (1) protocol (1) topolog (1) semant (1) higher (1)
Person: Jamie Vicary
DBLP: Vicary:Jamie
Contributed to:
Wrote 2 papers:
- LICS-2013-Vicary #algorithm #quantum
- Topological Structure of Quantum Algorithms (JV), pp. 93–102.
- LICS-2012-Vicary #protocol #quantum #semantics
- Higher Semantics of Quantum Protocols (JV), pp. 606–615.