David Reutter

A Classical Groupoid Model for Quantum Networks

David Reutter, Jamie Vicary, David J. Reutter, 2017, CALCO.

A Type Theory for Strictly Unital ∞-Categories pdf

David Reutter, Jamie Vicary, Eric Finster, 2020, ArXiv.

A 2-Categorical Approach to Composing Quantum Structures

David Reutter, Jamie Vicary, David J. Reutter, 2017, CALCO.

High-level methods for homotopy construction in associative n-categories

David Reutter, Jamie Vicary, David J. Reutter, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Shaded tangles for the design and verification of quantum programs

David Reutter, Jamie Vicary, 2017 .

A Type Theory for Strictly Unital $\infty$-Categories

David Reutter, Jamie Vicary, Eric Finster, 2020 .

Minimal nondegenerate extensions

David Reutter, Theo Johnson-Freyd, 2021 .

A compositional approach to quantum functions

David Reutter, Benjamin Musto, Dominic Verdon, 2017, Journal of Mathematical Physics.

The Morita Theory of Quantum Graph Isomorphisms

David Reutter, Benjamin Musto, Dominic Verdon, 2018, Communications in Mathematical Physics.