Title: Semantic techniques in quantum computation
Subjects: Quantum theory, Quantum computers, Semantics, Programming languages (Electronic computers)