David Reutter

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Spreading Activation

Additional Features

Extended Abstract

Top Venues

Publications

Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. CoRR (2022)
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
A Type Theory for Strictly Unital ∞-Categories. LICS (2022)
Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. LICS (2022)
Eric Finster, David Reutter, Jamie Vicary
A Type Theory for Strictly Unital ∞-Categories. CoRR (2020)
David Reutter, Jamie Vicary
High-level methods for homotopy construction in associative n-categories. LICS (2019)
David Reutter, Jamie Vicary
A classical groupoid model for quantum networks. Log. Methods Comput. Sci. 15 (1) (2019)
David Reutter, Jamie Vicary
A 2-Categorical Approach to Composing Quantum Structures. CALCO (2017)
David Reutter, Jamie Vicary
A Classical Groupoid Model for Quantum Networks. CALCO (2017)
David Reutter, Jamie Vicary
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). QPL (2017)