Title: Semantic Techniques in Quantum Computation