Quantum Theory from Principles, Quantum Software from Diagrams

John van de Wetering

This thesis consists of two parts. The first part is about how quantum theory can be recovered from first principles, while the second part is about the application of diagrammatic…