Simon Gay

Semantic techniques in quantum computation