3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2009
Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing progr…
quant-ph2007★ 3 cited
Programming Telepathy: Implementing Quantum Non-Locality Games
Anya Tafliovich, Eric C. R. Hehner
Quantum pseudo-telepathy is an intriguing phenomenon which results from the application of quantum information theory to communication complexity. To demonstrate this phenomenon re…
quant-ph2006
Quantum Predicative Programming
Anya Tafliovich, E. C. R. Hehner
The subject of this work is quantum predicative programming -- the study of developing of programs intended for execution on a quantum computer. We look at programming in the conte…