1. Scaffold: Quantum Programming Language, Technical Report TR-934-12;Abhari,2012
2. A categorical semantics of quantum protocols;Abramsky,2004
3. Geometry of interaction and linear combinatory algebras;Abramsky;Mathematical Structures in Computer Science,2002
4. Quantum walks on graphs;Aharonov,2001
5. A functional quantum programming language;Altenkirch,2005