DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Challenges in Compiling Hybrid Programs
Graph Rewriting-based Superoptimisation
- Structure
Fast Pattern Matching
Parallel Rewriting
Conclusion

Foundations of Quantum Computing

Chapter

todo