** Some Quantum Group Theses**

- Philip Atzemoglou. Higher-order semantics for quantum programming languages with classical control. 2013. [arXiv]

- Miriam Backens. Completeness and the ZX-calculus. 2015. [arXiv]

- Ross Duncan. Types for Quantum Computing. 2006. [pdf]

- Bill Edwards. Non-locality in Categorical Quantum Mechanics. 2009. [pdf]

- Aleks Kissinger. Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing. 2011. [arXiv]

- Raymond Lal. Causal Structure in Categorical Quantum Mechanics. 2012. [pdf]

- Alexander Merry. Reasoning with !-Graphs. 2013. [arXiv]

- David Quick. !-Logic. 2015. [pdf]

- Will Zeng. The abstract structure of quantum algorithms. 2015. [arXiv]

- Dimitri Kartsaklis. Compositional distributional semantics with compact closed categories and Frobenius algebras. 2015. [arXiv]

- Edward Grefenstette. Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics. 2013. [arXiv]

- Chris Heunen. Categorical Quantum Models and Logics. Nijmegen, Bart Jacobs and Klaas Landsman, 2009. [pdf]

- Eric Paquette. Categorical Quantum Computation. Universite de Montreal, Michel Boyer and Gilles Brassard, 2008. [pdf]

- Jamie Vicary. Results in Categorical Quantum Mechanics. Imperial College, Chris Isham, 2009.

- Andrei Akhvlediani. Relating Types in Categorical Universal Algebra. 2011. [pdf]

- Ed Blakey. A Model-Independent Theory of Computational Complexity: From Patience to Precision and Beyond. 2010. [pdf]

- Nadish de Silva. Contextuality and Noncommutative Geometry in Quantum Mechanics. 2015. [pdf]

- Brendan Fong. The Algebra of Open and Interconnected Systems. 2016. [arXiv]

- Shane Mansfield. The Mathematical Structure of Non-locality and Contextuality. 2013. [pdf]

- Roman Priebe. The Regular Histories Formulation of Quantum Theory. 2013. [pdf]

- Krzysztof Bar. Design and Analysis of Quantum Protocols and Algorithms. 2012. [pdf]

- Manav Bhushan. Simulating Quantum Processes Using Classical Structures. 2009. [pdf]

- Katriel Cohn-Gordon. Commitment Algorithms. 2012. [pdf]

- Benjamin Frot. Implementing and Automating complex arithmetic in quantomatic. 2011. [pdf]

- Thanasis Georgiou. Quantum operators: A classical perspective. 2009. [pdf]

- Yiannis Hadjimichael. Discrete Models of Categorical Quantum Computational Semantics. 2008. [pdf]

- Michael Herrmann. Models of Multipartite Entanglement. 2010. [pdf]

- Anne Hillebrand. Quantum Protocols involving Multiparticle Entanglement and their Representations in the zx-calculus. 2011. [pdf]

- Martti Karvonen. Frobenius Algebras in Functor Categories. 2014. [pdf]

- Aleks Kissinger. Graph Rewrite Systems for Classical Structures in dagger-Symmetric Monoidal Categories. 2008. [pdf]

- Alex Lang. Trichromatic Diagrams for Understanding qubits. 2011. [pdf]

- David Mack. Linking Form and Function. A Geometric Investigation of Multi-partite Graph States. 2010. [pdf]

- Benjamin Musto. Exploring Quantum Teleportation through Unitary Error Bases. 2014. [pdf]

- Shibdas Roy. A Compositional Characterization of Multipartite Quantum States. 2010. [pdf]

- Christian A. Schroeder. The ZX calculus is incomplete for non-stabilizer quantum mechanics. 2013. [pdf]

- Daniel Siebel. Completeness Results for the Graphical Language of Dagger Compact Closed Categories. 2012. [pdf]

- Nathaniel Cabot Thomas. Classical Structures in Topological Quantum Computing. 2013. [pdf]

- Matthew Varughese. Categorical Quantum Computing with Finite Fields. 2009. [pdf]

- Linde Wester. Categorical Models for Quantum Computing. 2013. [pdf]

- Vladimir Nikolaev Zamdzhiev. An Abstract Approach towards Quantum Secret Sharing. 2012. [pdf]

- Fabio Massimo Zennaro. Discrimination Nets: Improvement and Extension to Bang Graphs. 2012. [pdf]

- Yaared Al-Mehairi. Compositional Distributional Cognition. 2015. [pdf]

- Daniela Ashoush. Categorical Models of Meaning: Accommodating for Lexical Ambiguity and Entailment. 2015. [pdf]

- Esma Balkir. Using Density Matrices in a Compositional Distributional Model of Meaning. 2014. [pdf]

- Desislava Bankova. Comparing Meaning in Language and Cognition: P-Hyponymy, Concept Combination, Asymmetric Similarity. 2015. [pdf]

- Marco Fernandez. Encoding Logical Words as Quantum Gates: The Higher Dimensional Case. 2010. [pdf]

- Ignacio Funke. The Span Construction. Interpretations and Applications. 2016. [pdf]

- Robin Piedeleu. Ambiguity in Categorical Models of Meaning. 2014. [pdf]

- Joshua Steves. The Elements for Logic In Compositional Distributional Models of Meaning. 2016. [pdf]

- Jiannan Zhang. A Generic Evaluation of a Categorical Compositional-distributional Model of Meaning. 2014. [pdf]

- Katherine A. Casey. A Higher Categories Approach for Stochastic Modelling of Biological Processes. 2015. [pdf]

- Martin Churchill. Abstract Semantics for a Simple Quantum Programming Language. 2007. [pdf]

- Lawrence H. Dunn III. Profunctor Semantics for Linear Logic. 2015. [pdf]

- Brendan Fong. Causal Theories: A Categorical Perspective on Bayesian Networks. 2012. [pdf]

- Robert Furber. Quantum Entanglement and Algebraic Group Actions. 2011. [pdf]

- Dan Marsden. Comparing Intuitionistic Quantum Logics. 2010. [pdf]

- John van de Wetering. Ordering information on distributions. 2016 [pdf]

- Edward Ayers. Is Schroedinger?s Cat Real? Exploring Quantum Bayesianism with Monoidal Categories. Cambridge part III essay, 2016. [pdf]

- James Morley. Categorical quantum computing: diagrammatic reasoning for quantum algorithms. Imperial College Course Report, 2016. [pdf]

- Andre O. Ranchin. Progress in Quantum Foundations. Imperial College CQD MRes, 2012. [pdf]

- Carlo Maria Scandolo. A generalised approach to resource theories. Padova Diploma Thesis, 2013. [pdf]

- John Selby. An Overview of Diagrammatic Notation in Physics. Imperial College CQD MRes, 2014. [pdf]