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

people	Ross Duncan
projects	Entanglement in Quantum Computing
activities	Quantum Group
themes	Foundations, Logic and Structures