A 2-Categorical Approach to Composing Quantum Structures. - David Reutter; Jamie Vicary (CALCO, 2017)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). - David Reutter; Jamie Vicary (QPL, 2017)

High-level methods for homotopy construction in associative n-categories. - David Reutter; Jamie Vicary (LICS, 2019)

A classical groupoid model for quantum networks. - David Reutter; Jamie Vicary (Log. Methods Comput. Sci., 2019)

A Type Theory for Strictly Unital ∞-Categories. - Eric Finster; David Reutter; Jamie Vicary (CoRR, 2020)

A Type Theory for Strictly Unital ∞-Categories. - Eric Finster; David Reutter; Jamie Vicary; Alex Rice (LICS, 2022)

Zigzag normalisation for associative n-categories. - Lukas Heidemann; David Reutter; Jamie Vicary (LICS, 2022)