Logical aspects of quantum computation

Daniel Marsden. Logical aspects of quantum computation. PhD thesis, University of Oxford, UK, 2015. [doi]

Abstract

Abstract is missing.