| |
| 2004 | ||
|---|---|---|
| 3 | EE | André van Tonder: A Lambda Calculus for Quantum Computation. SIAM J. Comput. 33(5): 1109-1135 (2004) |
| 2003 | ||
| 2 | EE | André van Tonder: A Lambda Calculus for Quantum Computation CoRR quant-ph/0307150: (2003) |
| 1 | EE | André van Tonder: Quantum Computation, Categorical Semantics and Linear Logic CoRR quant-ph/0312174: (2003) |