Types for Quantum Computing
Ross Duncan
Institution
Oxford University
Note
This thesis was the runner up for the British Computer Society Distinguished Dissertation award.
Year
2006
Ross Duncan