A GUIDED JOURNEY
From concepts to proofs
Take one step at a time. Each path introduces an idea you will need for the next.
Suggested background: linear algebra, probability and basic programming. Read the intuition first, then return to the formal definitions.
I
VOLUME I
Foundations: build your intuition
Learn how states are represented and transformed, then express a computation as a circuit.
II
VOLUME II
Languages: express programs & resources
Explore levels of abstraction and why quantum resources call for type discipline.
III
VOLUME III
Semantics: give programs meaning
Interpret a program as a transformation of states, providing a basis for comparison and reasoning.
IV
VOLUME IV
Verification: reason about correctness
Express properties as assertions and explore proof systems and their tool support.